version 0.7.1

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

diff --git a/helm/matita/matitaMathView.mli b/helm/matita/matitaMathView.mli
index e26352dadb1fbaab7dcc9601cc4e3078d68389aa..045555b802f14ee7f0ccf7316a55461676f44c97 100644 (file)
--- a/helm/matita/matitaMathView.mli
+++ b/helm/matita/matitaMathView.mli
@@ -32,6 +32,8 @@ class type clickableMathView =
 
       (** set hyperlink callback. None disable hyperlink handling *)
     method set_href_callback: (string -> unit) option -> unit
+    
+    method update_font_size: unit
   end
 
 class type sequentViewer =
@@ -57,13 +59,11 @@ class type sequentsViewer =
     method goto_sequent: int -> unit  (* to be called _after_ load_sequents *)
   end
 
-exception Browser_failure of string
-
-
 class type cicBrowser =
 object
-  method loadUri: string -> unit
-  method loadTerm: MatitaTypes.term_source -> unit
+  method load: MatitaTypes.mathViewer_entry -> unit
+  (* method loadList: string list -> MatitaTypes.mathViewer_entry -> unit *)
+  method loadInput: string -> unit
 end
 
 (** {2 Constructors} *)
@@ -93,7 +93,14 @@ val sequentsViewer:
 
 val cicBrowser: unit -> cicBrowser
 
-val refresh_all_browsers: unit -> unit
+(** mathview wide functions *)
+
+val increase_font_size: unit -> unit
+val decrease_font_size: unit -> unit
+val reset_font_size: unit -> unit
+
+val refresh_all_browsers: unit -> unit  (** act on all cicBrowsers *)
+val update_font_sizes: unit -> unit
 
 (** {2 singleton instances} *)