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