added (linked to matita) executable cicbrowser: when invoked it only shows

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

diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index d9e922f98bc40ca50fa26e99d79710e5cc5b2222..fd460dd24b1161771c6ecb19a0d050efa2fe7649 100644 (file)
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -4,7 +4,6 @@
 <glade-interface>
 
 <widget class="GtkWindow" id="MainWin">
-  <property name="visible">True</property>
   <property name="title" translatable="yes">Matita</property>
   <property name="type">GTK_WINDOW_TOPLEVEL</property>
   <property name="window_position">GTK_WIN_POS_NONE</property>
@@ -491,7 +490,6 @@
 <widget class="GtkWindow" id="ToolBarWin">
   <property name="width_request">155</property>
   <property name="height_request">450</property>
-  <property name="visible">True</property>
   <property name="title" translatable="yes">Tactics</property>
   <property name="type">GTK_WINDOW_TOPLEVEL</property>
   <property name="window_position">GTK_WIN_POS_NONE</property>