From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sun, 7 Sep 2003 09:48:27 +0000 (+0000)
Subject: - removed useless status bar
X-Git-Tag: v0_0_1~23
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=891981a2d15f658d451517abbad72f6aebe7362e

- removed useless status bar
- hid menu bar
- added (Re)Register button
- added vertical pane between subscription and hints
- changed default size to a "decent"-one
---

diff --git a/helm/hbugs/client/hbugs_gui.glade b/helm/hbugs/client/hbugs_gui.glade
index 8aab957a2..46b78c2e1 100644
--- a/helm/hbugs/client/hbugs_gui.glade
+++ b/helm/hbugs/client/hbugs_gui.glade
@@ -33,6 +33,7 @@
     <widget>
       <class>GtkMenuBar</class>
       <name>menubar</name>
+      <visible>False</visible>
       <shadow_type>GTK_SHADOW_OUT</shadow_type>
       <child>
 	<padding>0</padding>
@@ -216,6 +217,7 @@
 	<widget>
 	  <class>GtkLabel</class>
 	  <name>label2</name>
+	  <visible>False</visible>
 	  <label>Client ID:</label>
 	  <justify>GTK_JUSTIFY_CENTER</justify>
 	  <wrap>False</wrap>
@@ -233,6 +235,7 @@
 	<widget>
 	  <class>GtkLabel</class>
 	  <name>clientIdLabel</name>
+	  <visible>False</visible>
 	  <label></label>
 	  <justify>GTK_JUSTIFY_LEFT</justify>
 	  <wrap>False</wrap>
@@ -251,20 +254,7 @@
 	  <class>GtkButton</class>
 	  <name>registerClientButton</name>
 	  <can_focus>True</can_focus>
-	  <label>Register</label>
-	  <relief>GTK_RELIEF_NORMAL</relief>
-	  <child>
-	    <padding>0</padding>
-	    <expand>False</expand>
-	    <fill>False</fill>
-	  </child>
-	</widget>
-
-	<widget>
-	  <class>GtkButton</class>
-	  <name>unregisterClientButton</name>
-	  <can_focus>True</can_focus>
-	  <label>Unregister</label>
+	  <label>(Re)Register</label>
 	  <relief>GTK_RELIEF_NORMAL</relief>
 	  <child>
 	    <padding>0</padding>
@@ -276,10 +266,11 @@
     </widget>
 
     <widget>
-      <class>GtkVBox</class>
-      <name>vbox5</name>
-      <homogeneous>True</homogeneous>
-      <spacing>0</spacing>
+      <class>GtkVPaned</class>
+      <name>vpaned1</name>
+      <handle_size>10</handle_size>
+      <gutter_size>6</gutter_size>
+      <position>0</position>
       <child>
 	<padding>0</padding>
 	<expand>True</expand>
@@ -294,16 +285,15 @@
 	<label_xalign>0</label_xalign>
 	<shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
 	<child>
-	  <padding>0</padding>
-	  <expand>True</expand>
-	  <fill>True</fill>
+	  <shrink>False</shrink>
+	  <resize>False</resize>
 	</child>
 
 	<widget>
 	  <class>GtkHBox</class>
 	  <name>hbox6</name>
 	  <homogeneous>False</homogeneous>
-	  <spacing>0</spacing>
+	  <spacing>2</spacing>
 
 	  <widget>
 	    <class>GtkScrolledWindow</class>
@@ -344,16 +334,25 @@
 	  </widget>
 
 	  <widget>
-	    <class>GtkButton</class>
-	    <name>showSubscriptionWindowButton</name>
-	    <can_focus>True</can_focus>
-	    <label>Subscribe ...</label>
-	    <relief>GTK_RELIEF_NORMAL</relief>
+	    <class>GtkFixed</class>
+	    <name>fixed1</name>
 	    <child>
 	      <padding>0</padding>
 	      <expand>False</expand>
 	      <fill>False</fill>
 	    </child>
+
+	    <widget>
+	      <class>GtkButton</class>
+	      <name>showSubscriptionWindowButton</name>
+	      <x>0</x>
+	      <y>0</y>
+	      <width>0</width>
+	      <height>0</height>
+	      <can_focus>True</can_focus>
+	      <label>Subscribe ...</label>
+	      <relief>GTK_RELIEF_NORMAL</relief>
+	    </widget>
 	  </widget>
 	</widget>
       </widget>
@@ -362,13 +361,13 @@
 	<class>GtkFrame</class>
 	<name>frame2</name>
 	<border_width>4</border_width>
+	<height>250</height>
 	<label>Hints</label>
 	<label_xalign>0</label_xalign>
 	<shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
 	<child>
-	  <padding>0</padding>
-	  <expand>True</expand>
-	  <fill>True</fill>
+	  <shrink>True</shrink>
+	  <resize>True</resize>
 	</child>
 
 	<widget>
@@ -422,6 +421,7 @@
     <widget>
       <class>GtkStatusbar</class>
       <name>mainWindowStatusBar</name>
+      <visible>False</visible>
       <child>
 	<padding>0</padding>
 	<expand>False</expand>