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.2.0 on Sat Aug 11 17:19:54 2007 by john@marilyn-->
   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="visible">False</property>
  20                 <property name="sensitive">False</property>
  21                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  22                 <property name="label" translatable="yes">_File</property>
  23                 <property name="use_underline">True</property>
  24                 <child>
  25                   <widget class="GtkMenu" id="menu1">
  26                     <property name="visible">True</property>
  27                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  28                     <child>
  29                       <widget class="GtkImageMenuItem" id="file_save">
  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="label" translatable="yes">gtk-save</property>
  33                         <property name="use_underline">True</property>
  34                         <property name="use_stock">True</property>
  35                       </widget>
  36                     </child>
  37                     <child>
  38                       <widget class="GtkImageMenuItem" id="file_save-as">
  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="label" translatable="yes">gtk-save-as</property>
  42                         <property name="use_underline">True</property>
  43                         <property name="use_stock">True</property>
  44                       </widget>
  45                     </child>
  46                   </widget>
  47                 </child>
  48               </widget>
  49             </child>
  50             <child>
  51               <widget class="GtkMenuItem" id="menuitem2">
  52                 <property name="visible">False</property>
  53                 <property name="sensitive">False</property>
  54                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  55                 <property name="label" translatable="yes">_Edit</property>
  56                 <property name="use_underline">True</property>
  57                 <child>
  58                   <widget class="GtkMenu" id="menu2">
  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                     <child>
  62                       <widget class="GtkImageMenuItem" id="imagemenuitem7">
  63                         <property name="visible">True</property>
  64                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  65                         <property name="label" translatable="yes">gtk-copy</property>
  66                         <property name="use_underline">True</property>
  67                         <property name="use_stock">True</property>
  68                       </widget>
  69                     </child>
  70                   </widget>
  71                 </child>
  72               </widget>
  73             </child>
  74             <child>
  75               <widget class="GtkMenuItem" id="windows_menuitem">
  76                 <property name="visible">True</property>
  77                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  78                 <property name="label" translatable="yes">_Windows</property>
  79                 <property name="use_underline">True</property>
  80                 <child>
  81                   <widget class="GtkMenu" id="windows_menu">
  82                     <property name="visible">True</property>
  83                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  84                     <child>
  85                       <widget class="GtkMenuItem" id="windows_minimise-all">
  86                         <property name="visible">True</property>
  87                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  88                         <property name="label" translatable="yes">_Minimize All Windows</property>
  89                         <property name="use_underline">True</property>
  90                       </widget>
  91                     </child>
  92                   </widget>
  93                 </child>
  94               </widget>
  95             </child>
  96             <child>
  97               <widget class="GtkMenuItem" id="menuitem9">
  98                 <property name="visible">True</property>
  99                 <property name="label" translatable="yes">_Help</property>
 100                 <property name="use_underline">True</property>
 101                 <child>
 102                   <widget class="GtkMenu" id="menuitem9_menu">
 103                     <child>
 104                       <widget class="GtkMenuItem" id="help_reference">
 105                         <property name="visible">True</property>
 106                         <property name="label" translatable="yes">_Reference Manual</property>
 107                         <property name="use_underline">True</property>
 108                       </widget>
 109                     </child>
 110                     <child>
 111                       <widget class="GtkMenuItem" id="help_about">
 112                         <property name="visible">True</property>
 113                         <property name="label" translatable="yes">_About</property>
 114                         <property name="use_underline">True</property>
 115                       </widget>
 116                     </child>
 117                   </widget>
 118                 </child>
 119               </widget>
 120             </child>
 121           </widget>
 122           <packing>
 123             <property name="expand">False</property>
 124           </packing>
 125         </child>
 126         <child>
 127           <widget class="GtkScrolledWindow" id="scrolledwindow1">
 128             <property name="visible">True</property>
 129             <property name="can_focus">True</property>
 130             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 131             <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 132             <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 133             <child>
 134               <widget class="GtkTextView" id="output-viewer-textview">
 135                 <property name="visible">True</property>
 136                 <property name="can_focus">True</property>
 137                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 138                 <property name="editable">False</property>
 139                 <property name="left_margin">5</property>
 140               </widget>
 141             </child>
 142           </widget>
 143           <packing>
 144             <property name="position">1</property>
 145           </packing>
 146         </child>
 147       </widget>
 148     </child>
 149   </widget>
 150 </glade-interface>