4 <object class="GtkUIManager" id="uimanager1">
6 <object class="GtkActionGroup" id="actiongroup1">
8 <object class="GtkAction" id="menu_syntax_file">
9 <property name="name">menu_syntax_file</property>
10 <property name="label" translatable="yes">_File</property>
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>
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>
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>
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>
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>
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>
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>
63 <object class="GtkAction" id="file_quit">
64 <property name="stock-id">file-quit</property>
65 <property name="name">file_quit</property>
69 <object class="GtkAction" id="edit-menu">
70 <property name="name">edit-menu</property>
71 <property name="label" translatable="yes">_Edit</property>
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>
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>
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>
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>
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>
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>
117 <object class="GtkAction" id="run1">
118 <property name="name">run1</property>
119 <property name="label" translatable="yes">_Run</property>
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>
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>
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>
142 <accelerator key="R" modifiers="GDK_CONTROL_MASK"/>
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>
154 <menubar name="menubar">
155 <menu action="menu_syntax_file">
157 <menuitem action="file_new_syntax"/>
158 <menuitem action="file_new_data"/>
160 <menuitem action="file_open"/>
161 <menuitem action="file_save"/>
162 <menuitem action="file_save_as"/>
164 <menuitem action="file_print"/>
166 <menuitem action="file_quit"/>
168 <menu action="edit-menu">
169 <menuitem action="edit_cut"/>
170 <menuitem action="edit_copy"/>
171 <menuitem action="edit_paste"/>
172 <menuitem action="edit_delete"/>
174 <menuitem action="edit_undo"/>
175 <menuitem action="edit_redo"/>
178 <menuitem action="run_all"/>
179 <menuitem action="run_selection"/>
180 <menuitem action="run_current_line"/>
181 <menuitem action="run_to_end"/>
186 <object class="GtkMenuBar" constructor="uimanager1" id="menubar">
187 <property name="visible">True</property>
188 <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
189 <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
191 <object class="GtkScrolledWindow" id="scrolledwindow8">
192 <property name="visible">True</property>
193 <property name="can_focus">True</property>
194 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
195 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
196 <property name="shadow_type">GTK_SHADOW_IN</property>
197 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
199 <object class="GtkSourceView" id="syntax_text_view">
200 <property name="visible">True</property>
201 <property name="can_focus">True</property>
202 <property name="editable">True</property>
203 <property name="overwrite">False</property>
204 <property name="accepts_tab">True</property>
205 <property name="justification">GTK_JUSTIFY_LEFT</property>
206 <property name="wrap_mode">GTK_WRAP_NONE</property>
207 <property name="cursor_visible">True</property>
208 <property name="pixels_above_lines">0</property>
209 <property name="pixels_below_lines">0</property>
210 <property name="pixels_inside_wrap">0</property>
211 <property name="left_margin">0</property>
212 <property name="right_margin">0</property>
213 <property name="indent">0</property>
217 <object class="GtkStatusbar" id="statusbar2">
218 <property name="visible">True</property>