]> matita.cs.unibo.it Git - helm.git/commitdiff
hidded all hbugs related stuff
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 19:32:12 +0000 (19:32 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 19:32:12 +0000 (19:32 +0000)
helm/software/matita/matitaGui.ml
helm/software/matita/matitaMathView.ml

index f849dc25f5b5e84d09e067dd759687da415a0918..01ced58a75217a426518898853f77669fd0594ef 100644 (file)
@@ -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 *)
index fc1b7d47022935c7a83994218fc5fec6052ba787..b8dd3f1bdcb5bb2d5e0f01428aaf08306ac06fec 100644 (file)
@@ -931,8 +931,12 @@ class cicBrowser_impl ~(history:MatitaTypes.mathViewer_entry MatitaMisc.history)
         match self#currentCicUri with
         | Some uri -> self#load (`Metadata (`Deps (`Back, uri)))
         | None -> ());
+      (* remove hbugs *)
+      (*
       connect_menu_item win#hBugsTutorsMenuItem (fun () ->
         self#load (`HBugs `Tutors));
+      *)
+      win#hBugsTutorsMenuItem#misc#hide ();
       connect_menu_item win#browserUrlMenuItem (fun () ->
         win#browserUri#entry#misc#grab_focus ());