X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaGui.ml;h=01ced58a75217a426518898853f77669fd0594ef;hb=f39bfe067b475f99d3da6c1c62b101e17819c3a4;hp=f849dc25f5b5e84d09e067dd759687da415a0918;hpb=24fd86ebb1da93bc4ef42c344b0f0dcac3a14d3c;p=helm.git

diff --git a/matita/matitaGui.ml b/matita/matitaGui.ml
index f849dc25f..01ced58a7 100644
--- a/matita/matitaGui.ml
+++ b/matita/matitaGui.ml
@@ -1144,10 +1144,13 @@ class gui () =
       self#updateFontSize ();
         (* debug menu *)
       main#debugMenu#misc#hide ();
-        (* status bar *)
+        (* HBUGS *)
+      main#hintNotebook#misc#hide ();
+      (*
       main#hintLowImage#set_file (image_path "matita-bulb-low.png");
       main#hintMediumImage#set_file (image_path "matita-bulb-medium.png");
       main#hintHighImage#set_file (image_path "matita-bulb-high.png");
+      *)
         (* focus *)
       self#sourceView#misc#grab_focus ();
         (* main win dimension *)