X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGui.ml;h=34238f80d4e66cb199d7c0f232f4b6dfb0c29f65;hb=088377896f207fac6f53c4e4d43df1cb3b7a9589;hp=a17b9bfb16942a8c62ba3cda6f6a186f8824fbad;hpb=fd372e069bbcaa96dc5b2eef04f341b28850d726;p=helm.git

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index a17b9bfb1..34238f80d 100644
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -183,7 +183,7 @@ class gui () =
         match self#chooseFile ~ok_not_exists:true () with
         | Some f -> 
               script#saveTo f; 
-              console#message ("'"^f^"' saved.");
+              console#message ("'"^f^"' saved.\n");
               self#_enableSaveTo f
         | None -> ()
       in
@@ -192,7 +192,7 @@ class gui () =
         | None -> saveAsScript ()
         | Some f -> 
               (s ())#saveTo f;
-              console#message ("'"^f^"' saved.");
+              console#message ("'"^f^"' saved.\n");
       in
       let newScript () = (s ())#reset (); disableSave () in
       let cursor () =
@@ -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