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="menubar">
  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           </widget>
  85           <packing>
  86             <property name="expand">False</property>
  87             <property name="position">0</property>
  88           </packing>
  89         </child>
  90         <child>
  91           <widget class="GtkHPaned" id="hpaned1">
  92             <property name="visible">True</property>
  93             <property name="can_focus">True</property>
  94             <property name="position">112</property>
  95             <property name="position_set">True</property>
  96             <child>
  97               <widget class="GtkScrolledWindow" id="scrolledwindow2">
  98                 <property name="visible">True</property>
  99                 <property name="can_focus">True</property>
 100                 <property name="hscrollbar_policy">automatic</property>
 101                 <property name="vscrollbar_policy">automatic</property>
 102                 <child>
 103                   <widget class="GtkTreeView" id="overview">
 104                     <property name="visible">True</property>
 105                     <property name="can_focus">True</property>
 106                     <property name="headers_visible">False</property>
 107                   </widget>
 108                 </child>
 109               </widget>
 110               <packing>
 111                 <property name="resize">False</property>
 112                 <property name="shrink">True</property>
 113               </packing>
 114             </child>
 115             <child>
 116               <widget class="GtkScrolledWindow" id="scrolledwindow1">
 117                 <property name="visible">True</property>
 118                 <property name="can_focus">True</property>
 119                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 120                 <property name="hscrollbar_policy">automatic</property>
 121                 <property name="vscrollbar_policy">automatic</property>
 122                 <child>
 123                   <widget class="GtkLayout" id="output">
 124                     <property name="visible">True</property>
 125                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 126                   </widget>
 127                 </child>
 128               </widget>
 129               <packing>
 130                 <property name="resize">True</property>
 131                 <property name="shrink">True</property>
 132               </packing>
 133             </child>
 134           </widget>
 135           <packing>
 136             <property name="position">1</property>
 137           </packing>
 138         </child>
 139       </widget>
 140     </child>
 141   </widget>
 142 </glade-interface>