pintos-os.org Git - pspp/blob - src/ui/gui/syntax-editor.ui

   1 <?xml version="1.0"?>
   2 <!--*- mode: xml -*-->
   3 <interface>
   4   <object class="GtkUIManager" id="uimanager1">
   5     <child>
   6       <object class="GtkActionGroup" id="actiongroup1">
   7         <child>
   8           <object class="GtkAction" id="menu_syntax_file">
   9             <property name="name">menu_syntax_file</property>
  10             <property name="label" translatable="yes">_File</property>
  11           </object>
  12         </child>
  13         <child>
  14           <object class="GtkAction" id="new2">
  15             <property name="stock-id">file-new-data</property>
  16             <property name="name">new2</property>
  17             <property name="label" translatable="yes">_New...</property>
  18           </object>
  19         </child>
  20         <child>
  21           <object class="GtkAction" id="file_new_syntax">
  22             <property name="stock-id">file-syntax-data</property>
  23             <property name="name">file_new_syntax</property>
  24             <property name="label" translatable="yes">_Syntax</property>
  25           </object>
  26         </child>
  27         <child>
  28           <object class="GtkAction" id="file_new_data">
  29             <property name="stock-id">file-system-data</property>
  30             <property name="name">file_new_data</property>
  31             <property name="label" translatable="yes">_Data</property>
  32           </object>
  33         </child>
  34         <child>
  35           <object class="GtkAction" id="file_open">
  36             <property name="stock-id">file-open-data</property>
  37             <property name="name">file_open</property>
  38             <property name="label" translatable="yes">_Open...</property>
  39           </object>
  40         </child>
  41         <child>
  42           <object class="GtkAction" id="file_save">
  43             <property name="stock-id">file-save-data</property>
  44             <property name="name">file_save</property>
  45             <property name="label" translatable="yes">_Save...</property>
  46           </object>
  47         </child>
  48         <child>
  49           <object class="GtkAction" id="file_save_as">
  50             <property name="stock-id">file-save-as</property>
  51             <property name="name">file_save_as</property>
  52             <property name="label" translatable="yes">Save _As...</property>
  53           </object>
  54         </child>
  55         <child>
  56           <object class="GtkAction" id="file_print">
  57             <property name="name">file_print</property>
  58             <property name="stock-id">file-print</property>
  59             <property name="label" translatable="yes">_Print...</property>
  60           </object>
  61         </child>
  62         <child>
  63           <object class="GtkAction" id="file_quit">
  64             <property name="stock-id">file-quit</property>
  65             <property name="name">file_quit</property>
  66           </object>
  67         </child>
  68         <child>
  69           <object class="GtkAction" id="menuitem7">
  70             <property name="name">menuitem7</property>
  71             <property name="label" translatable="yes">_Edit</property>
  72           </object>
  73         </child>
  74         <child>
  75           <object class="GtkAction" id="edit_cut">
  76             <property name="stock-id">edit-cut</property>
  77             <property name="name">edit_cut</property>
  78             <property name="sensitive">false</property>
  79           </object>
  80         </child>
  81         <child>
  82           <object class="GtkAction" id="edit_copy">
  83             <property name="stock-id">edit-copy</property>
  84             <property name="name">edit_copy</property>
  85             <property name="sensitive">false</property>
  86           </object>
  87         </child>
  88         <child>
  89           <object class="GtkAction" id="edit_paste">
  90             <property name="stock-id">edit-paste</property>
  91             <property name="name">edit_paste</property>
  92             <property name="sensitive">false</property>
  93           </object>
  94         </child>
  95         <child>
  96           <object class="GtkAction" id="edit_delete">
  97             <property name="stock-id">edit-delete</property>
  98             <property name="name">edit_delete</property>
  99             <property name="sensitive">false</property>
 100           </object>
 101         </child>
 102         <child>
 103           <object class="GtkAction" id="edit_undo">
 104             <property name="stock-id">edit-undo</property>
 105             <property name="name">edit_undo</property>
 106             <property name="sensitive">false</property>
 107           </object>
 108         </child>
 109         <child>
 110           <object class="GtkAction" id="edit_redo">
 111             <property name="stock-id">edit-redo</property>
 112             <property name="name">edit_redo</property>
 113             <property name="sensitive">false</property>
 114           </object>
 115         </child>
 116         <child>
 117           <object class="GtkAction" id="run1">
 118             <property name="name">run1</property>
 119             <property name="label" translatable="yes">_Run</property>
 120           </object>
 121         </child>
 122         <child>
 123           <object class="GtkAction" id="run_all">
 124             <property name="stock-id">run-all</property>
 125             <property name="name">run_all</property>
 126             <property name="label" translatable="yes">All</property>
 127           </object>
 128         </child>
 129         <child>
 130           <object class="GtkAction" id="run_selection">
 131             <property name="stock-id">run-selection</property>
 132             <property name="name">run_selection</property>
 133             <property name="label" translatable="yes">Selection</property>
 134           </object>
 135         </child>
 136         <child>
 137           <object class="GtkAction" id="run_current_line">
 138             <property name="stock-id">run-current-line</property>
 139             <property name="name">run_current_line</property>
 140             <property name="label" translatable="yes">Current Line</property>
 141           </object>
 142           <accelerator key="R" modifiers="GDK_CONTROL_MASK"/>
 143         </child>
 144         <child>
 145           <object class="GtkAction" id="run_to_end">
 146             <property name="stock-id">run-to-end</property>
 147             <property name="name">run-to-end</property>
 148             <property name="label" translatable="yes">To End</property>
 149           </object>
 150         </child>
 151         <child>
 152           <object class="GtkAction" id="windows">
 153             <property name="name">windows</property>
 154             <property name="label" translatable="yes">_Windows</property>
 155           </object>
 156         </child>
 157         <child>
 158           <object class="GtkAction" id="windows_minimise_all">
 159             <property name="stock-id">windows-minimize-all</property>
 160             <property name="name">windows_minimise_all</property>
 161             <property name="label" translatable="yes">_Minimize All Windows</property>
 162           </object>
 163         </child>
 164       </object>
 165     </child>
 166     <ui>
 167       <menubar name="menubar">
 168         <menu action="menu_syntax_file">
 169           <menu action="new2">
 170             <menuitem action="file_new_syntax"/>
 171             <menuitem action="file_new_data"/>
 172           </menu>
 173           <menuitem action="file_open"/>
 174           <menuitem action="file_save"/>
 175           <menuitem action="file_save_as"/>
 176           <separator/>
 177           <menuitem action="file_print"/>
 178           <separator/>
 179           <menuitem action="file_quit"/>
 180         </menu>
 181         <menu action="menuitem7">
 182           <menuitem action="edit_cut"/>
 183           <menuitem action="edit_copy"/>
 184           <menuitem action="edit_paste"/>
 185           <menuitem action="edit_delete"/>
 186           <separator/>
 187           <menuitem action="edit_undo"/>
 188           <menuitem action="edit_redo"/>
 189         </menu>
 190         <menu action="run1">
 191           <menuitem action="run_all"/>
 192           <menuitem action="run_selection"/>
 193           <menuitem action="run_current_line"/>
 194           <menuitem action="run_to_end"/>
 195         </menu>
 196         <menu action="windows">
 197           <menuitem action="windows_minimise_all"/>
 198         </menu>
 199       </menubar>
 200     </ui>
 201   </object>
 202   <object class="GtkMenuBar" constructor="uimanager1" id="menubar">
 203     <property name="visible">True</property>
 204     <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
 205     <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
 206   </object>
 207   <object class="GtkScrolledWindow" id="scrolledwindow8">
 208     <property name="visible">True</property>
 209     <property name="can_focus">True</property>
 210     <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 211     <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 212     <property name="shadow_type">GTK_SHADOW_IN</property>
 213     <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 214     <child>
 215       <object class="GtkSourceView" id="syntax_text_view">
 216         <property name="visible">True</property>
 217         <property name="can_focus">True</property>
 218         <property name="editable">True</property>
 219         <property name="overwrite">False</property>
 220         <property name="accepts_tab">True</property>
 221         <property name="justification">GTK_JUSTIFY_LEFT</property>
 222         <property name="wrap_mode">GTK_WRAP_NONE</property>
 223         <property name="cursor_visible">True</property>
 224         <property name="pixels_above_lines">0</property>
 225         <property name="pixels_below_lines">0</property>
 226         <property name="pixels_inside_wrap">0</property>
 227         <property name="left_margin">0</property>
 228         <property name="right_margin">0</property>
 229         <property name="indent">0</property>
 230       </object>
 231     </child>
 232   </object>
 233   <object class="GtkStatusbar" id="statusbar2">
 234     <property name="visible">True</property>
 235   </object>
 236 </interface>