src/ui/gui/output-viewer.glade

   1 <?xml version="1.0"?>
   2 <glade-interface>
   3   <!-- interface-requires gtk+ 2.16 -->
   4   <!-- interface-naming-policy toplevel-contextual -->
   5   <widget class="GtkWindow" id="output-viewer-window">
   6     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   7     <property name="default_width">600</property>
   8     <property name="default_height">400</property>
   9     <child>
  10       <widget class="GtkVBox" id="vbox1">
  11         <property name="visible">True</property>
  12         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  13         <child>
  14           <widget class="GtkMenuBar" id="menubar1">
  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="GtkMenuItem" id="menuitem1">
  19                 <property name="sensitive">False</property>
  20                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  21                 <property name="label" translatable="yes">_File</property>
  22                 <property name="use_underline">True</property>
  23                 <child>
  24                   <widget class="GtkMenu" id="menu1">
  25                     <property name="visible">True</property>
  26                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  27                     <child>
  28                       <widget class="GtkImageMenuItem" id="file_save">
  29                         <property name="label">gtk-save</property>
  30                         <property name="visible">True</property>
  31                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  32                         <property name="use_underline">True</property>
  33                         <property name="use_stock">True</property>
  34                       </widget>
  35                     </child>
  36                     <child>
  37                       <widget class="GtkImageMenuItem" id="file_save-as">
  38                         <property name="label">gtk-save-as</property>
  39                         <property name="visible">True</property>
  40                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  41                         <property name="use_underline">True</property>
  42                         <property name="use_stock">True</property>
  43                       </widget>
  44                     </child>
  45                   </widget>
  46                 </child>
  47               </widget>
  48             </child>
  49             <child>
  50               <widget class="GtkMenuItem" id="menuitem2">
  51                 <property name="sensitive">False</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">_Edit</property>
  54                 <property name="use_underline">True</property>
  55                 <child>
  56                   <widget class="GtkMenu" id="menu2">
  57                     <property name="visible">True</property>
  58                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  59                     <child>
  60                       <widget class="GtkImageMenuItem" id="imagemenuitem7">
  61                         <property name="label">gtk-copy</property>
  62                         <property name="visible">True</property>
  63                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  64                         <property name="use_underline">True</property>
  65                         <property name="use_stock">True</property>
  66                       </widget>
  67                     </child>
  68                   </widget>
  69                 </child>
  70               </widget>
  71             </child>
  72             <child>
  73               <widget class="GtkMenuItem" id="windows_menuitem">
  74                 <property name="visible">True</property>
  75                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  76                 <property name="label" translatable="yes">_Windows</property>
  77                 <property name="use_underline">True</property>
  78                 <child>
  79                   <widget class="GtkMenu" id="windows_menu">
  80                     <property name="visible">True</property>
  81                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  82                     <child>
  83                       <widget class="GtkMenuItem" id="windows_minimise-all">
  84                         <property name="visible">True</property>
  85                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  86                         <property name="label" translatable="yes">_Minimize All Windows</property>
  87                         <property name="use_underline">True</property>
  88                       </widget>
  89                     </child>
  90                   </widget>
  91                 </child>
  92               </widget>
  93             </child>
  94             <child>
  95               <widget class="GtkMenuItem" id="menuitem9">
  96                 <property name="visible">True</property>
  97                 <property name="label" translatable="yes">_Help</property>
  98                 <property name="use_underline">True</property>
  99                 <child>
 100                   <widget class="GtkMenu" id="menuitem9_menu">
 101                     <child>
 102                       <widget class="GtkMenuItem" id="help_reference">
 103                         <property name="visible">True</property>
 104                         <property name="label" translatable="yes">_Reference Manual</property>
 105                         <property name="use_underline">True</property>
 106                       </widget>
 107                     </child>
 108                     <child>
 109                       <widget class="GtkMenuItem" id="help_about">
 110                         <property name="visible">True</property>
 111                         <property name="label" translatable="yes">_About</property>
 112                         <property name="use_underline">True</property>
 113                       </widget>
 114                     </child>
 115                   </widget>
 116                 </child>
 117               </widget>
 118             </child>
 119           </widget>
 120           <packing>
 121             <property name="expand">False</property>
 122             <property name="position">0</property>
 123           </packing>
 124         </child>
 125         <child>
 126           <widget class="GtkHPaned" id="hpaned1">
 127             <property name="visible">True</property>
 128             <property name="can_focus">True</property>
 129             <property name="position">112</property>
 130             <property name="position_set">True</property>
 131             <child>
 132               <widget class="GtkScrolledWindow" id="scrolledwindow2">
 133                 <property name="visible">True</property>
 134                 <property name="can_focus">True</property>
 135                 <property name="hscrollbar_policy">automatic</property>
 136                 <property name="vscrollbar_policy">automatic</property>
 137                 <child>
 138                   <widget class="GtkTreeView" id="overview">
 139                     <property name="visible">True</property>
 140                     <property name="can_focus">True</property>
 141                     <property name="headers_visible">False</property>
 142                   </widget>
 143                 </child>
 144               </widget>
 145               <packing>
 146                 <property name="resize">False</property>
 147                 <property name="shrink">True</property>
 148               </packing>
 149             </child>
 150             <child>
 151               <widget class="GtkScrolledWindow" id="scrolledwindow1">
 152                 <property name="visible">True</property>
 153                 <property name="can_focus">True</property>
 154                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 155                 <property name="hscrollbar_policy">automatic</property>
 156                 <property name="vscrollbar_policy">automatic</property>
 157                 <child>
 158                   <widget class="GtkLayout" id="output">
 159                     <property name="visible">True</property>
 160                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 161                   </widget>
 162                 </child>
 163               </widget>
 164               <packing>
 165                 <property name="resize">True</property>
 166                 <property name="shrink">True</property>
 167               </packing>
 168             </child>
 169           </widget>
 170           <packing>
 171             <property name="position">1</property>
 172           </packing>
 173         </child>
 174       </widget>
 175     </child>
 176   </widget>
 177 </glade-interface>