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