From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 22 Jan 2003 11:48:57 +0000 (+0000)
Subject: client's GUI no longer visible by default
X-Git-Tag: v0_3_99~8
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=35f81e48378eba29e8b8d6dc0eaf22d20f55f3c7;p=helm.git

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 ff2d99cb2..09216ec43 100644
--- 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>