From 35f81e48378eba29e8b8d6dc0eaf22d20f55f3c7 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 22 Jan 2003 11:48:57 +0000
Subject: [PATCH] client's GUI no longer visible by default

---
 helm/hbugs/client/hbugs_gui.glade | 1 +
 1 file changed, 1 insertion(+)

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>
-- 
2.39.2