src/ui/gui/output-viewer.ui

   1 <?xml version="1.0"?>
   2 <interface>
   3   <object class="GtkUIManager" id="uimanager1">
   4     <child>
   5       <object class="GtkActionGroup" id="actiongroup1">
   6         <child>
   7           <object class="GtkAction" id="menuitem1">
   8             <property name="name">menuitem1</property>
   9             <property name="label" translatable="yes">_File</property>
  10           </object>
  11         </child>
  12         <child>
  13           <object class="GtkAction" id="file_print">
  14             <property name="name">file_print</property>
  15             <property name="stock-id">gtk-print</property>
  16           </object>
  17         </child>
  18         <child>
  19           <object class="GtkAction" id="file_export">
  20             <property name="name">file_export</property>
  21             <property name="stock-id">gtk-convert</property>
  22             <property name="label" translatable="yes">_Export</property>
  23           </object>
  24         </child>
  25         <child>
  26           <object class="GtkAction" id="menuitem2">
  27             <property name="name">menuitem2</property>
  28             <property name="label" translatable="yes">_Edit</property>
  29           </object>
  30         </child>
  31         <child>
  32           <object class="GtkAction" id="imagemenuitem7">
  33             <property name="stock-id">gtk-copy</property>
  34             <property name="name">imagemenuitem7</property>
  35           </object>
  36         </child>
  37         <child>
  38           <object class="GtkAction" id="windows_menuitem">
  39             <property name="name">windows_menuitem</property>
  40             <property name="label" translatable="yes">_Windows</property>
  41           </object>
  42         </child>
  43         <child>
  44           <object class="GtkAction" id="windows_minimise-all">
  45             <property name="name">windows_minimise-all</property>
  46             <property name="label" translatable="yes">_Minimize All Windows</property>
  47           </object>
  48         </child>
  49       </object>
  50     </child>
  51     <ui>
  52       <menubar name="menubar">
  53         <menu action="menuitem1">
  54           <menuitem action="file_export"/>
  55           <menuitem action="file_print"/>
  56         </menu>
  57         <menu action="menuitem2">
  58           <menuitem action="imagemenuitem7"/>
  59         </menu>
  60         <menu action="windows_menuitem">
  61           <menuitem action="windows_minimise-all"/>
  62         </menu>
  63       </menubar>
  64     </ui>
  65   </object>
  66   <!-- interface-requires gtk+ 2.16 -->
  67   <!-- interface-naming-policy toplevel-contextual -->
  68   <object class="GtkWindow" id="output-viewer-window">
  69     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  70     <property name="default_width">600</property>
  71     <property name="default_height">400</property>
  72     <child>
  73       <object class="GtkVBox" id="vbox1">
  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         <child>
  77           <object class="GtkMenuBar" constructor="uimanager1" id="menubar">
  78             <property name="visible">True</property>
  79             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  80           </object>
  81           <packing>
  82             <property name="expand">False</property>
  83             <property name="position">0</property>
  84           </packing>
  85         </child>
  86         <child>
  87           <object class="GtkHPaned" id="hpaned1">
  88             <property name="visible">True</property>
  89             <property name="can_focus">True</property>
  90             <property name="position">112</property>
  91             <property name="position_set">True</property>
  92             <child>
  93               <object class="GtkScrolledWindow" id="scrolledwindow2">
  94                 <property name="visible">True</property>
  95                 <property name="can_focus">True</property>
  96                 <property name="hscrollbar_policy">automatic</property>
  97                 <property name="vscrollbar_policy">automatic</property>
  98                 <child>
  99                   <object class="GtkTreeView" id="overview">
 100                     <property name="visible">True</property>
 101                     <property name="can_focus">True</property>
 102                     <property name="headers_visible">False</property>
 103                   </object>
 104                 </child>
 105               </object>
 106               <packing>
 107                 <property name="resize">False</property>
 108                 <property name="shrink">True</property>
 109               </packing>
 110             </child>
 111             <child>
 112               <object class="GtkScrolledWindow" id="scrolledwindow1">
 113                 <property name="visible">True</property>
 114                 <property name="can_focus">True</property>
 115                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 116                 <property name="hscrollbar_policy">automatic</property>
 117                 <property name="vscrollbar_policy">automatic</property>
 118                 <child>
 119                   <object class="GtkLayout" id="output">
 120                     <property name="visible">True</property>
 121                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 122                   </object>
 123                 </child>
 124               </object>
 125               <packing>
 126                 <property name="resize">True</property>
 127                 <property name="shrink">True</property>
 128               </packing>
 129             </child>
 130           </object>
 131           <packing>
 132             <property name="position">1</property>
 133           </packing>
 134         </child>
 135       </object>
 136     </child>
 137   </object>
 138 </interface>