added contextual menu to act over selected terms

[helm.git] / helm / matita / matitaGuiTypes.mli

diff --git a/helm/matita/matitaGuiTypes.mli b/helm/matita/matitaGuiTypes.mli
index c68bbc28eccef565981384e7cd5c59d56eb8f9f6..1b9d17cad514f31a5be825878ead76b26405ca78 100644 (file)
--- a/helm/matita/matitaGuiTypes.mli
+++ b/helm/matita/matitaGuiTypes.mli
@@ -74,6 +74,8 @@ object
   method canPaste:        bool
   method canPastePattern: bool
 
+  method markupSelected:  bool
+
   method copy:         unit -> unit
   method cut:          unit -> unit
   method delete:       unit -> unit