From d05dd15ef48652976f82de6ecff3931cfa2055e9 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 30 Jun 2003 13:52:58 +0000 Subject: [PATCH] - default font size of the proof window lowered to 10 - the font size spinner is now initialized with the right value --- helm/gTopLevel/gTopLevel.ml | 3 ++- helm/gTopLevel/termViewer.ml | 2 ++ 2 files changed, 4 insertions(+), 1 deletion(-) 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 = -- 2.39.2