- setters for data structures now support "commuting conversion"-like

[helm.git] / helm / software / matita / matita.glade

diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 34121dd9f9d651ea5fe45465818dadd562033847..5e39120a92ea524f7a28fc96d821b39df5b314da 100644 (file)
--- 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>