X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaGui.ml;h=c6510403521af1e3cb8a70ba0a6a4ab0cc98ad1c;hb=6d297b12c480352eb2f156ab4515f73921ea2e81;hp=827bdf375ceee5ed004ecc62379eaacd347ef707;hpb=02763a89e6351dfb7770251d0507512e3f0ddb74;p=helm.git

diff --git a/helm/software/matita/matitaGui.ml b/helm/software/matita/matitaGui.ml
index 827bdf375..c65104035 100644
--- a/helm/software/matita/matitaGui.ml
+++ b/helm/software/matita/matitaGui.ml
@@ -1166,7 +1166,6 @@ class gui () =
           self#check_widgets ();
           let combo_widget = combo#coerce in
           uriHBox#pack ~from:`END ~fill:true ~expand:true combo_widget;
-          self#toplevel#set_transient_for main#toplevel#as_window;
           combo#misc#grab_focus ()
         method browserUri = combo
       end