- the mathql interpreter is not helm-dependent any more

[helm.git] / helm / hbugs / client / hbugs_gui.glade

diff --git a/helm/hbugs/client/hbugs_gui.glade b/helm/hbugs/client/hbugs_gui.glade
index ff2d99cb2c7fd9be6f2b6862666ff922f970217c..8aab957a2a282bc0f5ebb3847ec6b9e566c55c77 100644 (file)
--- 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>