From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 16 Nov 2007 19:32:12 +0000 (+0000)
Subject: hidded all hbugs related stuff
X-Git-Tag: 0.4.97@7895~2
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=f39bfe067b475f99d3da6c1c62b101e17819c3a4

hidded all hbugs related stuff
---

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 *)
diff --git a/matita/matitaMathView.ml b/matita/matitaMathView.ml
index fc1b7d470..b8dd3f1bd 100644
--- a/matita/matitaMathView.ml
+++ b/matita/matitaMathView.ml
@@ -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 ());