X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fclient%2Fhbugs_gui.glade;h=46b78c2e1d65ff4fa7247c2cc9dc2bbe15dce758;hb=03d1ddf4a7fdf03fd497babd84d1963048253f0d;hp=ff2d99cb2c7fd9be6f2b6862666ff922f970217c;hpb=2db12b2fb1b0846ae2140273aec5ed8df27c9201;p=helm.git

diff --git a/helm/hbugs/client/hbugs_gui.glade b/helm/hbugs/client/hbugs_gui.glade
index ff2d99cb2..46b78c2e1 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>
@@ -32,6 +33,7 @@
     <widget>
       <class>GtkMenuBar</class>
       <name>menubar</name>
+      <visible>False</visible>
       <shadow_type>GTK_SHADOW_OUT</shadow_type>
       <child>
 	<padding>0</padding>
@@ -215,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>
@@ -232,6 +235,7 @@
 	<widget>
 	  <class>GtkLabel</class>
 	  <name>clientIdLabel</name>
+	  <visible>False</visible>
 	  <label></label>
 	  <justify>GTK_JUSTIFY_LEFT</justify>
 	  <wrap>False</wrap>
@@ -250,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>
@@ -275,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>
@@ -293,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>GtkVBox</class>
-	  <name>vbox7</name>
+	  <class>GtkHBox</class>
+	  <name>hbox6</name>
 	  <homogeneous>False</homogeneous>
-	  <spacing>0</spacing>
+	  <spacing>2</spacing>
 
 	  <widget>
 	    <class>GtkScrolledWindow</class>
@@ -343,73 +334,26 @@
 	  </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>
-	</widget>
-      </widget>
-
-      <widget>
-	<class>GtkFrame</class>
-	<name>frame4</name>
-	<border_width>8</border_width>
-	<label>DEBUG: state</label>
-	<label_xalign>0</label_xalign>
-	<shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
-	<child>
-	  <padding>0</padding>
-	  <expand>True</expand>
-	  <fill>True</fill>
-	</child>
-
-	<widget>
-	  <class>GtkHBox</class>
-	  <name>hbox3</name>
-	  <homogeneous>False</homogeneous>
-	  <spacing>0</spacing>
-
-	  <widget>
-	    <class>GtkScrolledWindow</class>
-	    <name>scrolledwindow5</name>
-	    <hscrollbar_policy>GTK_POLICY_NEVER</hscrollbar_policy>
-	    <vscrollbar_policy>GTK_POLICY_ALWAYS</vscrollbar_policy>
-	    <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy>
-	    <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy>
-	    <child>
-	      <padding>0</padding>
-	      <expand>True</expand>
-	      <fill>True</fill>
-	    </child>
 
 	    <widget>
-	      <class>GtkText</class>
-	      <name>stateText</name>
+	      <class>GtkButton</class>
+	      <name>showSubscriptionWindowButton</name>
+	      <x>0</x>
+	      <y>0</y>
+	      <width>0</width>
+	      <height>0</height>
 	      <can_focus>True</can_focus>
-	      <editable>True</editable>
-	      <text></text>
+	      <label>Subscribe ...</label>
+	      <relief>GTK_RELIEF_NORMAL</relief>
 	    </widget>
 	  </widget>
-
-	  <widget>
-	    <class>GtkButton</class>
-	    <name>stateChangeButton</name>
-	    <can_focus>True</can_focus>
-	    <label>send</label>
-	    <relief>GTK_RELIEF_NORMAL</relief>
-	    <child>
-	      <padding>0</padding>
-	      <expand>False</expand>
-	      <fill>False</fill>
-	    </child>
-	  </widget>
 	</widget>
       </widget>
 
@@ -417,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>
@@ -470,19 +414,6 @@
 	      </widget>
 	    </widget>
 	  </widget>
-
-	  <widget>
-	    <class>GtkButton</class>
-	    <name>useHintButton</name>
-	    <can_focus>True</can_focus>
-	    <label>Use hint!</label>
-	    <relief>GTK_RELIEF_NORMAL</relief>
-	    <child>
-	      <padding>0</padding>
-	      <expand>False</expand>
-	      <fill>False</fill>
-	    </child>
-	  </widget>
 	</widget>
       </widget>
     </widget>
@@ -490,6 +421,7 @@
     <widget>
       <class>GtkStatusbar</class>
       <name>mainWindowStatusBar</name>
+      <visible>False</visible>
       <child>
 	<padding>0</padding>
 	<expand>False</expand>
@@ -584,16 +516,41 @@
     </widget>
 
     <widget>
-      <class>GtkButton</class>
-      <name>subscribeButton</name>
-      <can_focus>True</can_focus>
-      <label>Subscribe to selected</label>
-      <relief>GTK_RELIEF_NORMAL</relief>
+      <class>GtkHBox</class>
+      <name>hbox5</name>
+      <homogeneous>False</homogeneous>
+      <spacing>0</spacing>
       <child>
 	<padding>0</padding>
 	<expand>False</expand>
 	<fill>False</fill>
       </child>
+
+      <widget>
+	<class>GtkButton</class>
+	<name>subscribeButton</name>
+	<can_focus>True</can_focus>
+	<label>Subscribe to Selected</label>
+	<relief>GTK_RELIEF_NORMAL</relief>
+	<child>
+	  <padding>0</padding>
+	  <expand>True</expand>
+	  <fill>True</fill>
+	</child>
+      </widget>
+
+      <widget>
+	<class>GtkButton</class>
+	<name>subscribeAllButton</name>
+	<can_focus>True</can_focus>
+	<label>Subscribe to All</label>
+	<relief>GTK_RELIEF_NORMAL</relief>
+	<child>
+	  <padding>0</padding>
+	  <expand>True</expand>
+	  <fill>True</fill>
+	</child>
+      </widget>
     </widget>
 
     <widget>