From 1c361432e4fd08de7a85c108ccfc6990d6ffd141 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 16 Nov 2007 19:32:12 +0000 Subject: [PATCH] hidded all hbugs related stuff --- helm/software/matita/matitaGui.ml | 5 ++++- helm/software/matita/matitaMathView.ml | 4 ++++ 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/helm/software/matita/matitaGui.ml b/helm/software/matita/matitaGui.ml index f849dc25f..01ced58a7 100644 --- a/helm/software/matita/matitaGui.ml +++ b/helm/software/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/helm/software/matita/matitaMathView.ml b/helm/software/matita/matitaMathView.ml index fc1b7d470..b8dd3f1bd 100644 --- a/helm/software/matita/matitaMathView.ml +++ b/helm/software/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 ()); -- 2.39.2