X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtermViewer.ml;h=da7b6bdca762df7cb351d9385b0a38d00f9afccb;hb=bf6bbd9f2e47ce7a465c0bb3105f9a7c7d73a9ea;hp=be755821ef29f79ecd0f85b9aa5bff3e002f6a46;hpb=38c91f2904ef73aa515325316aba8e23b0277f8e;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