X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtermViewer.ml;h=9a9c9c9b884ae941d0d976dcf20cb49735b39f1f;hb=d05dd15ef48652976f82de6ecff3931cfa2055e9;hp=c35cdb377d700c8df6de42375fa80a34617359ab;hpb=20595b27aa778b574d2f8ab5edaa1aa0382e01c5;p=helm.git

diff --git a/helm/gTopLevel/termViewer.ml b/helm/gTopLevel/termViewer.ml
index c35cdb377..9a9c9c9b8 100644
--- a/helm/gTopLevel/termViewer.ml
+++ b/helm/gTopLevel/termViewer.ml
@@ -145,6 +145,8 @@ class proof_viewer obj =
 
   inherit GMathViewAux.single_selection_math_view obj
 
+  initializer self#set_font_size 10
+
   val mutable current_infos = None
 
   method make_sequent_of_selected_term =