X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGui.ml;h=cd9603f85291ea19b45874d3715122422ac08b06;hb=ad3546bfc633935891d8c69ea704c86207c83f57;hp=17d299eaebedaf0965b2b7b8315c4253beffac81;hpb=36d6216b038dc101abd8b47ecbecd9f6abd5a617;p=helm.git

diff --git a/matita/matita/matitaGui.ml b/matita/matita/matitaGui.ml
index 17d299eae..cd9603f85 100644
--- a/matita/matita/matitaGui.ml
+++ b/matita/matita/matitaGui.ml
@@ -1050,17 +1050,17 @@ class gui () =
         ignore(MatitaMathView.cicBrowser ()));
       connect_menu_item main#increaseFontSizeMenuItem (fun () ->
         self#increaseFontSize ();
-        MatitaMathView.increase_font_size ();
+        MatitaMisc.increase_font_size ();
         MatitaMathView.update_font_sizes ());
       connect_menu_item main#decreaseFontSizeMenuItem (fun () ->
         self#decreaseFontSize ();
-        MatitaMathView.decrease_font_size ();
+        MatitaMisc.decrease_font_size ();
         MatitaMathView.update_font_sizes ());
       connect_menu_item main#normalFontSizeMenuItem (fun () ->
         self#resetFontSize ();
-        MatitaMathView.reset_font_size ();
+        MatitaMisc.reset_font_size ();
         MatitaMathView.update_font_sizes ());
-      MatitaMathView.reset_font_size ();
+      MatitaMisc.reset_font_size ();
 
       (** selections / clipboards handling *)
 
@@ -1375,7 +1375,7 @@ class gui () =
 let gui () = 
   let g = new gui () in
   gui_instance := Some g;
-  MatitaMathView.set_gui g;
+  MatitaMisc.set_gui g;
   g
   
 let instance = singleton gui