proof of concept implementation of cut and paste from gtkMathView to text

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

diff --git a/helm/matita/matitaMathView.mli b/helm/matita/matitaMathView.mli
index 045555b802f14ee7f0ccf7316a55461676f44c97..3816a4b02ee1cabfd9099a3f0d1846bc44f00bd1 100644 (file)
--- a/helm/matita/matitaMathView.mli
+++ b/helm/matita/matitaMathView.mli
@@ -33,6 +33,8 @@ class type clickableMathView =
       (** set hyperlink callback. None disable hyperlink handling *)
     method set_href_callback: (string -> unit) option -> unit
     
+    method string_of_selected_terms: string
+
     method update_font_size: unit
   end
 
@@ -40,13 +42,13 @@ class type sequentViewer =
   object
     inherit clickableMathView
 
-      (** @return the list of selected terms. Selections which are not terms are
-      * ignored *)
+(*       |+* @return the list of selected terms. Selections which are not terms are
+      * ignored +|
     method get_selected_terms: Cic.term list
 
-      (** @return the list of selected hypothese. Selections which are not
-      * hypotheses are ignored *)
-    method get_selected_hypotheses: Cic.hypothesis list
+      |+* @return the list of selected hypothese. Selections which are not
+      * hypotheses are ignored +|
+    method get_selected_hypotheses: Cic.hypothesis list *)
 
       (** load a sequent and render it into parent widget *)
     method load_sequent: Cic.metasenv -> int -> unit