X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fclient%2Fhbugs_gui.glade;h=8aab957a2a282bc0f5ebb3847ec6b9e566c55c77;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;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..8aab957a2 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>
@@ -299,8 +300,8 @@
 	</child>
 
 	<widget>
-	  <class>GtkVBox</class>
-	  <name>vbox7</name>
+	  <class>GtkHBox</class>
+	  <name>hbox6</name>
 	  <homogeneous>False</homogeneous>
 	  <spacing>0</spacing>
 
@@ -357,62 +358,6 @@
 	</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>
-	      <can_focus>True</can_focus>
-	      <editable>True</editable>
-	      <text></text>
-	    </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>
-
       <widget>
 	<class>GtkFrame</class>
 	<name>frame2</name>
@@ -470,19 +415,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>
@@ -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>