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