<object class="GtkAction" id="file_open">
<property name="stock-id">gtk-open</property>
<property name="name">file_open</property>
+ <property name="label" translatable="yes">_Open...</property>
</object>
</child>
<child>
<object class="GtkAction" id="file_save_as">
<property name="stock-id">gtk-save-as</property>
<property name="name">file_save_as</property>
+ <property name="label" translatable="yes">Save _As...</property>
+ </object>
+ </child>
+ <child>
+ <object class="GtkAction" id="file_print">
+ <property name="name">file_print</property>
+ <property name="stock-id">gtk-print</property>
</object>
</child>
<child>
<property name="sensitive">false</property>
</object>
</child>
+ <child>
+ <object class="GtkAction" id="edit_undo">
+ <property name="stock-id">gtk-undo</property>
+ <property name="name">edit_undo</property>
+ </object>
+ </child>
+ <child>
+ <object class="GtkAction" id="edit_redo">
+ <property name="stock-id">gtk-redo</property>
+ <property name="name">edit_redo</property>
+ </object>
+ </child>
<child>
<object class="GtkAction" id="run1">
<property name="name">run1</property>
<menuitem action="file_save"/>
<menuitem action="file_save_as"/>
<separator/>
+ <menuitem action="file_print"/>
+ <separator/>
<menuitem action="file_quit"/>
</menu>
<menu action="menuitem7">
<menuitem action="edit_copy"/>
<menuitem action="edit_paste"/>
<menuitem action="edit_delete"/>
+ <separator/>
+ <menuitem action="edit_undo"/>
+ <menuitem action="edit_redo"/>
</menu>
<menu action="run1">
<menuitem action="run_all"/>
<property name="shadow_type">GTK_SHADOW_IN</property>
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
<child>
- <object class="GtkTextView" id="syntax_text_view">
+ <object class="GtkSourceView" id="syntax_text_view">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="editable">True</property>