]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/client/hbugs_gui.glade
- removed useless status bar
[helm.git] / helm / hbugs / client / hbugs_gui.glade
index 09216ec4317a461a7052bbbbe2002862c99e8d26..46b78c2e1d65ff4fa7247c2cc9dc2bbe15dce758 100644 (file)
@@ -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>
        <widget>
          <class>GtkLabel</class>
          <name>label2</name>
+         <visible>False</visible>
          <label>Client ID:</label>
          <justify>GTK_JUSTIFY_CENTER</justify>
          <wrap>False</wrap>
        <widget>
          <class>GtkLabel</class>
          <name>clientIdLabel</name>
+         <visible>False</visible>
          <label></label>
          <justify>GTK_JUSTIFY_LEFT</justify>
          <wrap>False</wrap>
          <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>
     </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>
        <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>
          </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>
 
        <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>
              </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>
     <widget>
       <class>GtkStatusbar</class>
       <name>mainWindowStatusBar</name>
+      <visible>False</visible>
       <child>
        <padding>0</padding>
        <expand>False</expand>
     </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>