client's GUI no longer visible by default

diff --git a/helm/hbugs/client/hbugs_gui.glade b/helm/hbugs/client/hbugs_gui.glade
index ff2d99cb2c7fd9be6f2b6862666ff922f970217c..09216ec4317a461a7052bbbbe2002862c99e8d26 100644 (file)
--- a/helm/hbugs/client/hbugs_gui.glade
+++ b/helm/hbugs/client/hbugs_gui.glade
@@ -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>