]> matita.cs.unibo.it Git - helm.git/commitdiff
- removed useless status bar
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 7 Sep 2003 09:48:27 +0000 (09:48 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 7 Sep 2003 09:48:27 +0000 (09:48 +0000)
- hid menu bar
- added (Re)Register button
- added vertical pane between subscription and hints
- changed default size to a "decent"-one

helm/hbugs/client/hbugs_gui.glade

index 8aab957a2a282bc0f5ebb3847ec6b9e566c55c77..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>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>
+             <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>
        <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>
       <class>GtkStatusbar</class>
       <name>mainWindowStatusBar</name>
+      <visible>False</visible>
       <child>
        <padding>0</padding>
        <expand>False</expand>