From: Stefano Zacchiroli Date: Sun, 7 Sep 2003 09:50:58 +0000 (+0000) Subject: commented out gtkmathview's font_size override X-Git-Tag: v0_0_1~19 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=090e2272788bdbaa480e3e677d5c303f2a9d8d0d commented out gtkmathview's font_size override --- 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