From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 30 Jun 2003 13:52:58 +0000 (+0000)
Subject: - default font size of the proof window lowered to 10
X-Git-Tag: camera_ready~34
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=d05dd15ef48652976f82de6ecff3931cfa2055e9;p=helm.git

- default font size of the proof window lowered to 10
- the font size spinner is now initialized with the right value
---

diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml
index 0f2f73c28..0ceb6f2af 100644
--- a/helm/gTopLevel/gTopLevel.ml
+++ b/helm/gTopLevel/gTopLevel.ml
@@ -2274,7 +2274,8 @@ class settings_window output sw
    ~packing:(table#attach ~left:0 ~top:0 ~expand:`NONE) () in
  let font_size_spinb =
   let sadj =
-   GData.adjustment ~value:14.0 ~lower:5.0 ~upper:50.0 ~step_incr:1.0 ()
+   GData.adjustment ~value:(float_of_int output#get_font_size)
+    ~lower:5.0 ~upper:50.0 ~step_incr:1.0 ()
   in
    GEdit.spin_button 
     ~adjustment:sadj ~packing:(table#attach ~left:1 ~top:0 ~fill:`NONE) () in
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 =