]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/client/hbugs_gui.glade
client's GUI no longer visible by default
[helm.git] / helm / hbugs / client / hbugs_gui.glade
index ff2d99cb2c7fd9be6f2b6862666ff922f970217c..09216ec4317a461a7052bbbbe2002862c99e8d26 100644 (file)
@@ -15,6 +15,7 @@
 <widget>
   <class>GtkWindow</class>
   <name>hbugsMainWindow</name>
+  <visible>False</visible>
   <title>Hbugs: your personal proof trainer!</title>
   <type>GTK_WINDOW_TOPLEVEL</type>
   <position>GTK_WIN_POS_NONE</position>