simplified cicBrowser: whelp bar is now always visible

[helm.git] / helm / matita / matitaGui.ml

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index a17b9bfb16942a8c62ba3cda6f6a186f8824fbad..08f097086fdc59540b7c9c683f3a6cf8d27b62f7 100644 (file)
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -289,8 +289,7 @@ class gui () =
         initializer
           self#check_widgets ();
           let combo_widget = combo#coerce in
-          browserHBox#add combo_widget;
-          browserHBox#reorder_child combo_widget ~pos:6
+          uriHBox#add combo_widget
         method browserUri = combo
       end