X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtermViewer.ml;h=da7b6bdca762df7cb351d9385b0a38d00f9afccb;hb=090e2272788bdbaa480e3e677d5c303f2a9d8d0d;hp=be755821ef29f79ecd0f85b9aa5bff3e002f6a46;hpb=6df980575d031355d2c4be26a029ed0d6c680bff;p=helm.git

diff --git a/helm/gTopLevel/termViewer.ml b/helm/gTopLevel/termViewer.ml
index be755821e..da7b6bdca 100644
--- a/helm/gTopLevel/termViewer.ml
+++ b/helm/gTopLevel/termViewer.ml
@@ -147,7 +147,7 @@ class proof_viewer obj =
 
   inherit GMathViewAux.single_selection_math_view obj
 
-  initializer self#set_font_size 10
+(*   initializer self#set_font_size 10 *)
 
   val mutable current_infos = None
   val mutable current_mml = None