X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGuiTypes.mli;h=1b9d17cad514f31a5be825878ead76b26405ca78;hb=de21be5819bd35a2cb83b3d33b1c578d970a32c7;hp=c68bbc28eccef565981384e7cd5c59d56eb8f9f6;hpb=4f04bf7d4032d301ce723fce357a27f92f003893;p=helm.git

diff --git a/helm/matita/matitaGuiTypes.mli b/helm/matita/matitaGuiTypes.mli
index c68bbc28e..1b9d17cad 100644
--- 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