From 090e2272788bdbaa480e3e677d5c303f2a9d8d0d Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Sun, 7 Sep 2003 09:50:58 +0000 Subject: [PATCH] commented out gtkmathview's font_size override --- helm/gTopLevel/termViewer.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2