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