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