veranda/ui.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 Thu Mar  6 14:07:12 2008 -->
   4 <glade-interface>
   5   <widget class="GtkWindow" id="window">
   6     <property name="width_request">1000</property>
   7     <property name="height_request">625</property>
   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="title" translatable="yes">Veranda</property>
  10     <property name="icon">run-big.svg</property>
  11     <child>
  12       <widget class="GtkVBox" id="vbox-main">
  13         <property name="visible">True</property>
  14         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  15         <child>
  16           <widget class="GtkHBox" id="hbox-menu">
  17             <property name="height_request">30</property>
  18             <property name="visible">True</property>
  19             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  20             <child>
  21               <widget class="GtkButton" id="button-nexttab">
  22                 <property name="visible">True</property>
  23                 <property name="can_focus">True</property>
  24                 <property name="receives_default">True</property>
  25                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  26                 <property name="response_id">0</property>
  27                 <child>
  28                   <placeholder/>
  29                 </child>
  30               </widget>
  31               <packing>
  32                 <property name="expand">False</property>
  33                 <property name="padding">2</property>
  34                 <property name="pack_type">GTK_PACK_END</property>
  35                 <property name="position">0</property>
  36               </packing>
  37             </child>
  38             <child>
  39               <widget class="GtkButton" id="button-lasttab">
  40                 <property name="visible">True</property>
  41                 <property name="can_focus">True</property>
  42                 <property name="receives_default">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="response_id">0</property>
  45                 <child>
  46                   <placeholder/>
  47                 </child>
  48               </widget>
  49               <packing>
  50                 <property name="expand">False</property>
  51                 <property name="padding">2</property>
  52                 <property name="pack_type">GTK_PACK_END</property>
  53                 <property name="position">1</property>
  54               </packing>
  55             </child>
  56             <child>
  57               <widget class="GtkButton" id="button-closetab">
  58                 <property name="visible">True</property>
  59                 <property name="can_focus">True</property>
  60                 <property name="receives_default">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="response_id">0</property>
  63                 <child>
  64                   <placeholder/>
  65                 </child>
  66               </widget>
  67               <packing>
  68                 <property name="expand">False</property>
  69                 <property name="padding">2</property>
  70                 <property name="pack_type">GTK_PACK_END</property>
  71                 <property name="position">2</property>
  72               </packing>
  73             </child>
  74             <child>
  75               <widget class="GtkButton" id="button-newtab">
  76                 <property name="visible">True</property>
  77                 <property name="can_focus">True</property>
  78                 <property name="receives_default">True</property>
  79                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  80                 <property name="response_id">0</property>
  81                 <child>
  82                   <placeholder/>
  83                 </child>
  84               </widget>
  85               <packing>
  86                 <property name="expand">False</property>
  87                 <property name="padding">2</property>
  88                 <property name="pack_type">GTK_PACK_END</property>
  89                 <property name="position">3</property>
  90               </packing>
  91             </child>
  92             <child>
  93               <widget class="GtkButton" id="button-run">
  94                 <property name="visible">True</property>
  95                 <property name="can_focus">True</property>
  96                 <property name="receives_default">True</property>
  97                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  98                 <property name="tooltip" translatable="yes">Run Query</property>
  99                 <property name="response_id">0</property>
 100                 <child>
 101                   <placeholder/>
 102                 </child>
 103               </widget>
 104               <packing>
 105                 <property name="expand">False</property>
 106                 <property name="padding">2</property>
 107                 <property name="pack_type">GTK_PACK_END</property>
 108                 <property name="position">4</property>
 109               </packing>
 110             </child>
 111           </widget>
 112           <packing>
 113             <property name="expand">False</property>
 114             <property name="padding">3</property>
 115           </packing>
 116         </child>
 117         <child>
 118           <widget class="GtkHPaned" id="hpaned-main">
 119             <property name="visible">True</property>
 120             <property name="can_focus">True</property>
 121             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 122             <child>
 123               <widget class="GtkVPaned" id="vpaned-panel">
 124                 <property name="width_request">160</property>
 125                 <property name="visible">True</property>
 126                 <property name="can_focus">True</property>
 127                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 128                 <child>
 129                   <widget class="GtkHBox" id="hbox-panel">
 130                     <property name="visible">True</property>
 131                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 132                     <child>
 133                       <widget class="GtkImage" id="image1">
 134                         <property name="visible">True</property>
 135                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 136                         <property name="pixbuf">search.svg</property>
 137                       </widget>
 138                       <packing>
 139                         <property name="position">1</property>
 140                       </packing>
 141                     </child>
 142                     <child>
 143                       <widget class="GtkEntry" id="entry-search">
 144                         <property name="visible">True</property>
 145                         <property name="can_focus">True</property>
 146                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 147                       </widget>
 148                       <packing>
 149                         <property name="fill">False</property>
 150                         <property name="pack_type">GTK_PACK_END</property>
 151                         <property name="position">1</property>
 152                       </packing>
 153                     </child>
 154                   </widget>
 155                   <packing>
 156                     <property name="resize">False</property>
 157                     <property name="shrink">True</property>
 158                   </packing>
 159                 </child>
 160                 <child>
 161                   <placeholder/>
 162                 </child>
 163               </widget>
 164               <packing>
 165                 <property name="resize">False</property>
 166                 <property name="shrink">True</property>
 167               </packing>
 168             </child>
 169             <child>
 170               <widget class="GtkVPaned" id="vpaned-editor">
 171                 <property name="width_request">640</property>
 172                 <property name="visible">True</property>
 173                 <property name="can_focus">True</property>
 174                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 175                 <child>
 176                   <widget class="GtkNotebook" id="notebook-top">
 177                     <property name="visible">True</property>
 178                     <property name="can_focus">True</property>
 179                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 180                     <property name="scrollable">True</property>
 181                   </widget>
 182                   <packing>
 183                     <property name="resize">False</property>
 184                     <property name="shrink">True</property>
 185                   </packing>
 186                 </child>
 187                 <child>
 188                   <widget class="GtkNotebook" id="notebook-bottom">
 189                     <property name="can_focus">True</property>
 190                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 191                   </widget>
 192                   <packing>
 193                     <property name="resize">True</property>
 194                     <property name="shrink">True</property>
 195                   </packing>
 196                 </child>
 197               </widget>
 198               <packing>
 199                 <property name="resize">False</property>
 200                 <property name="shrink">True</property>
 201               </packing>
 202             </child>
 203           </widget>
 204           <packing>
 205             <property name="position">1</property>
 206           </packing>
 207         </child>
 208         <child>
 209           <widget class="GtkStatusbar" id="statusbar">
 210             <property name="visible">True</property>
 211             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 212             <property name="spacing">2</property>
 213           </widget>
 214           <packing>
 215             <property name="expand">False</property>
 216             <property name="position">2</property>
 217           </packing>
 218         </child>
 219       </widget>
 220     </child>
 221   </widget>
 222 </glade-interface>