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="GtkMenuItem" id="file_export">
  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                         <property name="label" translatable="yes">_Export</property>
  32                         <property name="use_underline">True</property>
  33                       </widget>
  34                     </child>
  35                     <child>
  36                       <widget class="GtkMenuItem" id="file_print">
  37                         <property name="visible">True</property>
  38                         <property name="label" translatable="yes">_Print</property>
  39                         <property name="use_underline">True</property>
  40                       </widget>
  41                     </child>
  42                   </widget>
  43                 </child>
  44               </widget>
  45             </child>
  46             <child>
  47               <widget class="GtkMenuItem" id="menuitem2">
  48                 <property name="sensitive">False</property>
  49                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  50                 <property name="label" translatable="yes">_Edit</property>
  51                 <property name="use_underline">True</property>
  52                 <child>
  53                   <widget class="GtkMenu" id="menu2">
  54                     <property name="visible">True</property>
  55                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  56                     <child>
  57                       <widget class="GtkImageMenuItem" id="imagemenuitem7">
  58                         <property name="label">gtk-copy</property>
  59                         <property name="visible">True</property>
  60                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  61                         <property name="use_underline">True</property>
  62                         <property name="use_stock">True</property>
  63                       </widget>
  64                     </child>
  65                   </widget>
  66                 </child>
  67               </widget>
  68             </child>
  69             <child>
  70               <widget class="GtkMenuItem" id="windows_menuitem">
  71                 <property name="visible">True</property>
  72                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  73                 <property name="label" translatable="yes">_Windows</property>
  74                 <property name="use_underline">True</property>
  75                 <child>
  76                   <widget class="GtkMenu" id="windows_menu">
  77                     <property name="visible">True</property>
  78                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  79                     <child>
  80                       <widget class="GtkMenuItem" id="windows_minimise-all">
  81                         <property name="visible">True</property>
  82                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  83                         <property name="label" translatable="yes">_Minimize All Windows</property>
  84                         <property name="use_underline">True</property>
  85                       </widget>
  86                     </child>
  87                   </widget>
  88                 </child>
  89               </widget>
  90             </child>
  91             <child>
  92               <widget class="GtkMenuItem" id="menuitem9">
  93                 <property name="visible">True</property>
  94                 <property name="label" translatable="yes">_Help</property>
  95                 <property name="use_underline">True</property>
  96                 <child>
  97                   <widget class="GtkMenu" id="menuitem9_menu">
  98                     <child>
  99                       <widget class="GtkMenuItem" id="help_reference">
 100                         <property name="visible">True</property>
 101                         <property name="label" translatable="yes">_Reference Manual</property>
 102                         <property name="use_underline">True</property>
 103                       </widget>
 104                     </child>
 105                     <child>
 106                       <widget class="GtkMenuItem" id="help_about">
 107                         <property name="visible">True</property>
 108                         <property name="label" translatable="yes">_About</property>
 109                         <property name="use_underline">True</property>
 110                       </widget>
 111                     </child>
 112                   </widget>
 113                 </child>
 114               </widget>
 115             </child>
 116           </widget>
 117           <packing>
 118             <property name="expand">False</property>
 119             <property name="position">0</property>
 120           </packing>
 121         </child>
 122         <child>
 123           <widget class="GtkHPaned" id="hpaned1">
 124             <property name="visible">True</property>
 125             <property name="can_focus">True</property>
 126             <property name="position">112</property>
 127             <property name="position_set">True</property>
 128             <child>
 129               <widget class="GtkScrolledWindow" id="scrolledwindow2">
 130                 <property name="visible">True</property>
 131                 <property name="can_focus">True</property>
 132                 <property name="hscrollbar_policy">automatic</property>
 133                 <property name="vscrollbar_policy">automatic</property>
 134                 <child>
 135                   <widget class="GtkTreeView" id="overview">
 136                     <property name="visible">True</property>
 137                     <property name="can_focus">True</property>
 138                     <property name="headers_visible">False</property>
 139                   </widget>
 140                 </child>
 141               </widget>
 142               <packing>
 143                 <property name="resize">False</property>
 144                 <property name="shrink">True</property>
 145               </packing>
 146             </child>
 147             <child>
 148               <widget class="GtkScrolledWindow" id="scrolledwindow1">
 149                 <property name="visible">True</property>
 150                 <property name="can_focus">True</property>
 151                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 152                 <property name="hscrollbar_policy">automatic</property>
 153                 <property name="vscrollbar_policy">automatic</property>
 154                 <child>
 155                   <widget class="GtkLayout" id="output">
 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                   </widget>
 159                 </child>
 160               </widget>
 161               <packing>
 162                 <property name="resize">True</property>
 163                 <property name="shrink">True</property>
 164               </packing>
 165             </child>
 166           </widget>
 167           <packing>
 168             <property name="position">1</property>
 169           </packing>
 170         </child>
 171       </widget>
 172     </child>
 173   </widget>
 174 </glade-interface>