From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 25 Aug 2008 13:15:54 +0000 (+0000)
Subject: Do not mess with my window manager: the Cic Browsers are no longer slaves to
X-Git-Tag: make_still_working~4843
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=21da7b0b7cd14ebc928a84ca9f53793e3956dfb7;p=helm.git

Do not mess with my window manager: the Cic Browsers are no longer slaves to
the main window.
---

diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 34121dd9f..5e39120a9 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -11,7 +11,6 @@
     <property name="default_width">500</property>
     <property name="default_height">480</property>
     <property name="destroy_with_parent">True</property>
-    <property name="transient_for">MainWin</property>
     <child>
       <widget class="GtkEventBox" id="BrowserWinEventBox">
         <property name="visible">True</property>
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