pintos-os.org Git - pspp/blob - src/ui/gui/output-window.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="GtkBox" id="box1">
  81         <property name="visible">True</property>
  82         <property name="orientation">GTK_ORIENTATION_VERTICAL</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           <object class="GtkMenuBar" constructor="uimanager1" id="menubar">
  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           </object>
  89           <packing>
  90             <property name="expand">False</property>
  91             <property name="position">0</property>
  92           </packing>
  93         </child>
  94         <child>
  95           <object class="GtkPaned" id="paned1">
  96             <property name="visible">True</property>
  97             <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
  98             <property name="can_focus">True</property>
  99             <property name="position">112</property>
 100             <property name="position_set">True</property>
 101             <child>
 102               <object class="GtkScrolledWindow" id="scrolledwindow2">
 103                 <property name="visible">True</property>
 104                 <property name="can_focus">True</property>
 105                 <property name="hscrollbar_policy">automatic</property>
 106                 <property name="vscrollbar_policy">automatic</property>
 107                 <child>
 108                   <object class="GtkTreeView" id="overview">
 109                     <property name="visible">True</property>
 110                     <property name="can_focus">True</property>
 111                     <property name="headers_visible">False</property>
 112                   </object>
 113                 </child>
 114               </object>
 115               <packing>
 116                 <property name="resize">False</property>
 117                 <property name="shrink">True</property>
 118               </packing>
 119             </child>
 120             <child>
 121               <object class="GtkScrolledWindow" id="scrolledwindow1">
 122                 <property name="visible">True</property>
 123                 <property name="can_focus">True</property>
 124                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 125                 <property name="hscrollbar_policy">automatic</property>
 126                 <property name="vscrollbar_policy">automatic</property>
 127                 <child>
 128                   <object class="GtkLayout" id="output">
 129                     <property name="visible">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                   </object>
 132                 </child>
 133               </object>
 134               <packing>
 135                 <property name="resize">True</property>
 136                 <property name="shrink">True</property>
 137               </packing>
 138             </child>
 139           </object>
 140           <packing>
 141             <property name="position">1</property>
 142             <property name="expand">True</property>
 143           </packing>
 144         </child>
 145       </object>
 146 </interface>