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">gtk-new</property>
16 <property name="name">new2</property>
20 <object class="GtkAction" id="file_new_syntax">
21 <property name="name">file_new_syntax</property>
22 <property name="label" translatable="yes">_Syntax</property>
26 <object class="GtkAction" id="file_new_data">
27 <property name="name">file_new_data</property>
28 <property name="label" translatable="yes">_Data</property>
32 <object class="GtkAction" id="open2">
33 <property name="stock-id">gtk-open</property>
34 <property name="name">open2</property>
38 <object class="GtkAction" id="file_open_syntax">
39 <property name="name">file_open_syntax</property>
40 <property name="label" translatable="yes">_Syntax</property>
44 <object class="GtkAction" id="file_open_data">
45 <property name="name">file_open_data</property>
46 <property name="label" translatable="yes">_Data</property>
50 <object class="GtkAction" id="file_save">
51 <property name="stock-id">gtk-save</property>
52 <property name="name">file_save</property>
56 <object class="GtkAction" id="file_save_as">
57 <property name="stock-id">gtk-save-as</property>
58 <property name="name">file_save_as</property>
62 <object class="GtkAction" id="file_quit">
63 <property name="stock-id">gtk-quit</property>
64 <property name="name">file_quit</property>
68 <object class="GtkAction" id="menuitem7">
69 <property name="name">menuitem7</property>
70 <property name="label" translatable="yes">_Edit</property>
74 <object class="GtkAction" id="cut2">
75 <property name="stock-id">gtk-cut</property>
76 <property name="name">cut2</property>
80 <object class="GtkAction" id="copy2">
81 <property name="stock-id">gtk-copy</property>
82 <property name="name">copy2</property>
86 <object class="GtkAction" id="paste2">
87 <property name="stock-id">gtk-paste</property>
88 <property name="name">paste2</property>
92 <object class="GtkAction" id="delete1">
93 <property name="stock-id">gtk-delete</property>
94 <property name="name">delete1</property>
98 <object class="GtkAction" id="run1">
99 <property name="name">run1</property>
100 <property name="label" translatable="yes">_Run</property>
104 <object class="GtkAction" id="run_all">
105 <property name="name">run_all</property>
106 <property name="label" translatable="yes">All</property>
110 <object class="GtkAction" id="run_selection">
111 <property name="name">run_selection</property>
112 <property name="label" translatable="yes">Selection</property>
116 <object class="GtkAction" id="run_current_line">
117 <property name="name">run_current_line</property>
118 <property name="label" translatable="yes">Current Line</property>
120 <accelerator key="R" modifiers="GDK_CONTROL_MASK"/>
123 <object class="GtkAction" id="run_to_end">
124 <property name="name">run_to_end</property>
125 <property name="label" translatable="yes">To End</property>
129 <object class="GtkAction" id="windows">
130 <property name="name">windows</property>
131 <property name="label" translatable="yes">_Windows</property>
135 <object class="GtkAction" id="windows_minimise_all">
136 <property name="name">windows_minimise_all</property>
137 <property name="label" translatable="yes">_Minimize All Windows</property>
143 <menubar name="menubar">
144 <menu action="menu_syntax_file">
146 <menuitem action="file_new_syntax"/>
147 <menuitem action="file_new_data"/>
149 <menu action="open2">
150 <menuitem action="file_open_syntax"/>
151 <menuitem action="file_open_data"/>
153 <menuitem action="file_save"/>
154 <menuitem action="file_save_as"/>
156 <menuitem action="file_quit"/>
158 <menu action="menuitem7">
159 <menuitem action="cut2"/>
160 <menuitem action="copy2"/>
161 <menuitem action="paste2"/>
162 <menuitem action="delete1"/>
165 <menuitem action="run_all"/>
166 <menuitem action="run_selection"/>
167 <menuitem action="run_current_line"/>
168 <menuitem action="run_to_end"/>
170 <menu action="windows">
171 <menuitem action="windows_minimise_all"/>
176 <object class="GtkMenuBar" constructor="uimanager1" id="menubar">
177 <property name="visible">True</property>
178 <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
179 <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
181 <object class="GtkScrolledWindow" id="scrolledwindow8">
182 <property name="visible">True</property>
183 <property name="can_focus">True</property>
184 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
185 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
186 <property name="shadow_type">GTK_SHADOW_IN</property>
187 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
189 <object class="GtkTextView" id="syntax_text_view">
190 <property name="visible">True</property>
191 <property name="can_focus">True</property>
192 <property name="editable">True</property>
193 <property name="overwrite">False</property>
194 <property name="accepts_tab">True</property>
195 <property name="justification">GTK_JUSTIFY_LEFT</property>
196 <property name="wrap_mode">GTK_WRAP_NONE</property>
197 <property name="cursor_visible">True</property>
198 <property name="pixels_above_lines">0</property>
199 <property name="pixels_below_lines">0</property>
200 <property name="pixels_inside_wrap">0</property>
201 <property name="left_margin">0</property>
202 <property name="right_margin">0</property>
203 <property name="indent">0</property>
207 <object class="GtkStatusbar" id="statusbar2">
208 <property name="visible">True</property>
209 <property name="has_resize_grip">True</property>