commented out gtkmathview's font_size override

diff --git a/helm/gTopLevel/termViewer.ml b/helm/gTopLevel/termViewer.ml
index be755821ef29f79ecd0f85b9aa5bff3e002f6a46..da7b6bdca762df7cb351d9385b0a38d00f9afccb 100644 (file)
--- 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