X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaMathView.mli;h=ed57b886c44c7af09a476918b81cde2b50f599b3;hb=0f3081bec320860fbe2208e4d3314629e12a320f;hp=1dc3dabe8bcca48af519cc3d3b6d5068cfb5aad4;hpb=de4483296d06aac3df4da10d5401b1f97c4350ab;p=helm.git

diff --git a/helm/matita/matitaMathView.mli b/helm/matita/matitaMathView.mli
index 1dc3dabe8..ed57b886c 100644
--- 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 =
@@ -59,11 +61,10 @@ class type sequentsViewer =
 
 exception Browser_failure of string
 
-
 class type cicBrowser =
 object
   method load: MatitaTypes.mathViewer_entry -> unit
-  method loadList: string list -> MatitaTypes.mathViewer_entry -> unit
+  (* method loadList: string list -> MatitaTypes.mathViewer_entry -> unit *)
   method loadInput: string -> unit
 end
 
@@ -94,7 +95,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} *)