</object>
</child>
<child>
- <object class="GtkAction" id="open2">
+ <object class="GtkAction" id="file_open">
<property name="stock-id">gtk-open</property>
- <property name="name">open2</property>
- </object>
- </child>
- <child>
- <object class="GtkAction" id="file_open_syntax">
- <property name="name">file_open_syntax</property>
- <property name="label" translatable="yes">_Syntax</property>
- </object>
- </child>
- <child>
- <object class="GtkAction" id="file_open_data">
- <property name="name">file_open_data</property>
- <property name="label" translatable="yes">_Data</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>
</child>
<child>
- <object class="GtkAction" id="cut2">
+ <object class="GtkAction" id="edit_cut">
<property name="stock-id">gtk-cut</property>
- <property name="name">cut2</property>
+ <property name="name">edit_cut</property>
+ <property name="sensitive">false</property>
</object>
</child>
<child>
- <object class="GtkAction" id="copy2">
+ <object class="GtkAction" id="edit_copy">
<property name="stock-id">gtk-copy</property>
- <property name="name">copy2</property>
+ <property name="name">edit_copy</property>
+ <property name="sensitive">false</property>
</object>
</child>
<child>
- <object class="GtkAction" id="paste2">
+ <object class="GtkAction" id="edit_paste">
<property name="stock-id">gtk-paste</property>
- <property name="name">paste2</property>
+ <property name="name">edit_paste</property>
+ <property name="sensitive">false</property>
</object>
</child>
<child>
- <object class="GtkAction" id="delete1">
+ <object class="GtkAction" id="edit_delete">
<property name="stock-id">gtk-delete</property>
- <property name="name">delete1</property>
+ <property name="name">edit_delete</property>
+ <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>
<menuitem action="file_new_syntax"/>
<menuitem action="file_new_data"/>
</menu>
- <menu action="open2">
- <menuitem action="file_open_syntax"/>
- <menuitem action="file_open_data"/>
- </menu>
+ <menuitem action="file_open"/>
<menuitem action="file_save"/>
<menuitem action="file_save_as"/>
<separator/>
<menuitem action="file_quit"/>
</menu>
<menu action="menuitem7">
- <menuitem action="cut2"/>
- <menuitem action="copy2"/>
- <menuitem action="paste2"/>
- <menuitem action="delete1"/>
+ <menuitem action="edit_cut"/>
+ <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"/>