X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGuiTypes.mli;h=1b9d17cad514f31a5be825878ead76b26405ca78;hb=4301dbaf20b68840e3bdf6a9b701d71034c91b7f;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