src/ui/gui/output-viewer.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 Tue Jun 16 22:17:34 2009 -->
   4 <glade-interface>
   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="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">gtk-save</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="visible">True</property>
  39                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  40                         <property name="label" translatable="yes">gtk-save-as</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="visible">True</property>
  62                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  63                         <property name="label" translatable="yes">gtk-copy</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           </packing>
 123         </child>
 124         <child>
 125           <widget class="GtkScrolledWindow" id="scrolledwindow1">
 126             <property name="visible">True</property>
 127             <property name="can_focus">True</property>
 128             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 129             <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 130             <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 131             <child>
 132               <widget class="GtkLayout" id="output">
 133                 <property name="visible">True</property>
 134                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 135               </widget>
 136             </child>
 137           </widget>
 138           <packing>
 139             <property name="position">1</property>
 140           </packing>
 141         </child>
 142       </widget>
 143     </child>
 144   </widget>
 145 </glade-interface>