gbuildbotclient.glade

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
   3 <!--Generated with glade3 3.4.0 on Wed Apr  9 16:17:02 2008 -->
   4 <glade-interface>
   5   <requires lib="bonobo"/>
   6   <requires lib="gnome"/>
   7   <widget class="GnomeApp" id="toplevel">
   8     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   9     <property name="default_width">850</property>
  10     <property name="default_height">500</property>
  11     <child internal-child="dock">
  12       <widget class="BonoboDock" id="app1-dock1">
  13         <child>
  14           <widget class="BonoboDockItem" id="dockitem1">
  15             <property name="visible">True</property>
  16             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  17             <child>
  18               <widget class="GtkMenuBar" id="menubar1">
  19                 <property name="visible">True</property>
  20                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  21                 <child>
  22                   <widget class="GtkMenuItem" id="menuitem1">
  23                     <property name="visible">True</property>
  24                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  25                     <property name="label" translatable="yes">_File</property>
  26                     <property name="use_underline">True</property>
  27                     <child>
  28                       <widget class="GtkMenu" id="menu1">
  29                         <property name="visible">True</property>
  30                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  31                         <child>
  32                           <widget class="GtkImageMenuItem" id="imagemenuitem1">
  33                             <property name="visible">True</property>
  34                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  35                             <property name="label" translatable="yes">gtk-new</property>
  36                             <property name="use_underline">True</property>
  37                             <property name="use_stock">True</property>
  38                           </widget>
  39                         </child>
  40                         <child>
  41                           <widget class="GtkImageMenuItem" id="imagemenuitem2">
  42                             <property name="visible">True</property>
  43                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  44                             <property name="label" translatable="yes">gtk-open</property>
  45                             <property name="use_underline">True</property>
  46                             <property name="use_stock">True</property>
  47                           </widget>
  48                         </child>
  49                         <child>
  50                           <widget class="GtkImageMenuItem" id="imagemenuitem3">
  51                             <property name="visible">True</property>
  52                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  53                             <property name="label" translatable="yes">gtk-save</property>
  54                             <property name="use_underline">True</property>
  55                             <property name="use_stock">True</property>
  56                           </widget>
  57                         </child>
  58                         <child>
  59                           <widget class="GtkImageMenuItem" id="imagemenuitem4">
  60                             <property name="visible">True</property>
  61                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  62                             <property name="label" translatable="yes">gtk-save-as</property>
  63                             <property name="use_underline">True</property>
  64                             <property name="use_stock">True</property>
  65                           </widget>
  66                         </child>
  67                         <child>
  68                           <widget class="GtkSeparatorMenuItem" id="separatormenuitem1">
  69                             <property name="visible">True</property>
  70                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  71                           </widget>
  72                         </child>
  73                         <child>
  74                           <widget class="GtkImageMenuItem" id="imagemenuitem5">
  75                             <property name="visible">True</property>
  76                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  77                             <property name="label" translatable="yes">gtk-quit</property>
  78                             <property name="use_underline">True</property>
  79                             <property name="use_stock">True</property>
  80                           </widget>
  81                         </child>
  82                       </widget>
  83                     </child>
  84                   </widget>
  85                 </child>
  86                 <child>
  87                   <widget class="GtkMenuItem" id="menuitem2">
  88                     <property name="visible">True</property>
  89                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  90                     <property name="label" translatable="yes">_Edit</property>
  91                     <property name="use_underline">True</property>
  92                     <child>
  93                       <widget class="GtkMenu" id="menu2">
  94                         <property name="visible">True</property>
  95                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  96                         <child>
  97                           <widget class="GtkImageMenuItem" id="imagemenuitem6">
  98                             <property name="visible">True</property>
  99                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 100                             <property name="label" translatable="yes">gtk-cut</property>
 101                             <property name="use_underline">True</property>
 102                             <property name="use_stock">True</property>
 103                           </widget>
 104                         </child>
 105                         <child>
 106                           <widget class="GtkImageMenuItem" id="imagemenuitem7">
 107                             <property name="visible">True</property>
 108                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 109                             <property name="label" translatable="yes">gtk-copy</property>
 110                             <property name="use_underline">True</property>
 111                             <property name="use_stock">True</property>
 112                           </widget>
 113                         </child>
 114                         <child>
 115                           <widget class="GtkImageMenuItem" id="imagemenuitem8">
 116                             <property name="visible">True</property>
 117                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 118                             <property name="label" translatable="yes">gtk-paste</property>
 119                             <property name="use_underline">True</property>
 120                             <property name="use_stock">True</property>
 121                           </widget>
 122                         </child>
 123                         <child>
 124                           <widget class="GtkImageMenuItem" id="imagemenuitem9">
 125                             <property name="visible">True</property>
 126                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 127                             <property name="label" translatable="yes">gtk-delete</property>
 128                             <property name="use_underline">True</property>
 129                             <property name="use_stock">True</property>
 130                           </widget>
 131                         </child>
 132                       </widget>
 133                     </child>
 134                   </widget>
 135                 </child>
 136                 <child>
 137                   <widget class="GtkMenuItem" id="menuitem3">
 138                     <property name="visible">True</property>
 139                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 140                     <property name="label" translatable="yes">_View</property>
 141                     <property name="use_underline">True</property>
 142                   </widget>
 143                 </child>
 144                 <child>
 145                   <widget class="GtkMenuItem" id="menuitem4">
 146                     <property name="visible">True</property>
 147                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 148                     <property name="label" translatable="yes">_Help</property>
 149                     <property name="use_underline">True</property>
 150                     <child>
 151                       <widget class="GtkMenu" id="menu3">
 152                         <property name="visible">True</property>
 153                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 154                         <child>
 155                           <widget class="GtkImageMenuItem" id="imagemenuitem10">
 156                             <property name="visible">True</property>
 157                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 158                             <property name="label" translatable="yes">gtk-about</property>
 159                             <property name="use_underline">True</property>
 160                             <property name="use_stock">True</property>
 161                           </widget>
 162                         </child>
 163                       </widget>
 164                     </child>
 165                   </widget>
 166                 </child>
 167               </widget>
 168             </child>
 169           </widget>
 170           <packing>
 171             <property name="behavior">BONOBO_DOCK_ITEM_BEH_EXCLUSIVE | BONOBO_DOCK_ITEM_BEH_NEVER_VERTICAL | BONOBO_DOCK_ITEM_BEH_LOCKED</property>
 172           </packing>
 173         </child>
 174         <child>
 175           <widget class="GtkScrolledWindow" id="builders_scrolledwindow">
 176             <property name="visible">True</property>
 177             <property name="can_focus">True</property>
 178             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 179             <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 180             <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 181             <child>
 182               <placeholder/>
 183             </child>
 184           </widget>
 185         </child>
 186       </widget>
 187       <packing>
 188         <property name="expand">True</property>
 189         <property name="fill">True</property>
 190       </packing>
 191     </child>
 192     <child internal-child="appbar">
 193       <widget class="GnomeAppBar" id="app1-appbar1">
 194         <property name="visible">True</property>
 195         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 196         <property name="spacing">4</property>
 197         <property name="has_progress">True</property>
 198         <property name="has_status">True</property>
 199       </widget>
 200       <packing>
 201         <property name="position">1</property>
 202       </packing>
 203     </child>
 204   </widget>
 205 </glade-interface>