pintos-os.org Git - pspp/blob - 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">file-print</property>
  16             <property name="label" translatable="yes">_Print...</property>
  17           </object>
  18           <accelerator key="P" modifiers="GDK_CONTROL_MASK"/>
  19         </child>
  20         <child>
  21           <object class="GtkAction" id="file_export">
  22             <property name="name">file_export</property>
  23             <property name="stock-id">file-export-data</property>
  24             <property name="label" translatable="yes">_Export...</property>
  25           </object>
  26         </child>
  27         <child>
  28           <object class="GtkAction" id="menuitem2">
  29             <property name="name">menuitem2</property>
  30             <property name="label" translatable="yes">_Edit</property>
  31           </object>
  32         </child>
  33         <child>
  34           <object class="GtkAction" id="edit_select-all">
  35             <property name="name">edit_select-all</property>
  36             <property name="stock-id">edit-select-all</property>
  37             <property name="label" translatable="yes">Select _All</property>
  38           </object>
  39         </child>
  40         <child>
  41           <object class="GtkAction" id="edit_copy">
  42             <property name="stock-id">edit-copy</property>
  43             <property name="name">edit_copy</property>
  44             <property name="label" translatable="yes">_Copy</property>
  45           </object>
  46         </child>
  47         <child>
  48           <object class="GtkAction" id="windows_menuitem">
  49             <property name="name">windows_menuitem</property>
  50             <property name="label" translatable="yes">_Windows</property>
  51           </object>
  52         </child>
  53         <child>
  54           <object class="GtkAction" id="windows_minimise-all">
  55             <property name="stock-id">windows-minimize-all</property>
  56             <property name="name">windows_minimise-all</property>
  57             <property name="label" translatable="yes">_Minimize All Windows</property>
  58           </object>
  59         </child>
  60       </object>
  61     </child>
  62     <ui>
  63       <menubar name="menubar">
  64         <menu action="menuitem1">
  65           <menuitem action="file_export"/>
  66           <menuitem action="file_print"/>
  67         </menu>
  68         <menu action="menuitem2">
  69           <menuitem action="edit_copy"/>
  70           <menuitem action="edit_select-all"/>
  71         </menu>
  72         <menu action="windows_menuitem">
  73           <menuitem action="windows_minimise-all"/>
  74         </menu>
  75       </menubar>
  76     </ui>
  77   </object>
  78   <!-- interface-requires gtk+ 2.16 -->
  79   <!-- interface-naming-policy toplevel-contextual -->
  80   <object class="GtkWindow" id="output-viewer-window">
  81     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  82     <property name="default_width">600</property>
  83     <property name="default_height">400</property>
  84     <child>
  85       <object class="GtkVBox" id="vbox1">
  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         <child>
  89           <object class="GtkMenuBar" constructor="uimanager1" id="menubar">
  90             <property name="visible">True</property>
  91             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  92           </object>
  93           <packing>
  94             <property name="expand">False</property>
  95             <property name="position">0</property>
  96           </packing>
  97         </child>
  98         <child>
  99           <object class="GtkHPaned" id="hpaned1">
 100             <property name="visible">True</property>
 101             <property name="can_focus">True</property>
 102             <property name="position">112</property>
 103             <property name="position_set">True</property>
 104             <child>
 105               <object class="GtkScrolledWindow" id="scrolledwindow2">
 106                 <property name="visible">True</property>
 107                 <property name="can_focus">True</property>
 108                 <property name="hscrollbar_policy">automatic</property>
 109                 <property name="vscrollbar_policy">automatic</property>
 110                 <child>
 111                   <object class="GtkTreeView" id="overview">
 112                     <property name="visible">True</property>
 113                     <property name="can_focus">True</property>
 114                     <property name="headers_visible">False</property>
 115                   </object>
 116                 </child>
 117               </object>
 118               <packing>
 119                 <property name="resize">False</property>
 120                 <property name="shrink">True</property>
 121               </packing>
 122             </child>
 123             <child>
 124               <object class="GtkScrolledWindow" id="scrolledwindow1">
 125                 <property name="visible">True</property>
 126                 <property name="can_focus">True</property>
 127                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 128                 <property name="hscrollbar_policy">automatic</property>
 129                 <property name="vscrollbar_policy">automatic</property>
 130                 <child>
 131                   <object class="GtkLayout" id="output">
 132                     <property name="visible">True</property>
 133                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 134                   </object>
 135                 </child>
 136               </object>
 137               <packing>
 138                 <property name="resize">True</property>
 139                 <property name="shrink">True</property>
 140               </packing>
 141             </child>
 142           </object>
 143           <packing>
 144             <property name="position">1</property>
 145           </packing>
 146         </child>
 147       </object>
 148     </child>
 149   </object>
 150 </interface>