MathML widget no longer used. Requesciat in pacem

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

diff --git a/matita/matita/matitaGuiTypes.mli b/matita/matita/matitaGuiTypes.mli
index d25735d4aebf1abd36271ede520e6f1964efdd9f..ae0bab1c24e63abfa5f1aead2645321cde5c1786 100644 (file)
--- a/matita/matita/matitaGuiTypes.mli
+++ b/matita/matita/matitaGuiTypes.mli
@@ -105,7 +105,14 @@ type paste_kind = [ `Term | `Pattern ]
   * callback *)
 class type clickableMathView =
 object
-  inherit GMathViewAux.multi_selection_math_view
+  inherit GSourceView2.source_view
+
+  method load_root : root:string -> unit
+  method remove_selections: unit
+  method set_selection: Gdome.element option -> unit
+  method get_selections: Gdome.element list
+  method set_font_size: int -> unit
+
 
     (** set hyperlink callback. None disable hyperlink handling *)
   method set_href_callback: (string -> unit) option -> unit