1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
<ui>
<menubar name="menubar1">
<menu action="menu_game">
<menuitem name="menu_new_random" action="action_new" />
<menuitem name="menu_new_solved" action="action_new_solved" />
<separator/>
<menuitem name="menu_quit" action="action_quit" />
</menu>
<menu action="menu_edit">
<menuitem name="menu_initial_state" action="action_initial_state" />
<menuitem name="menu_reset_rotation" action="action_reset_rotation" />
<separator/>
<menuitem name="menu_invert_moves" action="action_invert_moves" />
<menuitem name="menu_reload_scripts" action="action_reload_scripts" />
<separator/>
<menuitem name="menu_colors" action="action_colors" />
<menuitem name="menu_preferences" action="action_preferences" />
</menu>
<menu action="menu_view">
<menuitem name="menu_play_toolbar" action="toggleaction_play_toolbar" />
<menuitem name="menu_statusbar" action="toggleaction_statusbar" />
<menuitem name="menu_dynamic_script_selection" action="toggleaction_dynamic_script_selection" />
</menu>
<menu action="menu_help">
<menuitem name="menu_info" action="action_info" />
</menu>
</menubar>
<accelerator action="action_rewind" />
<accelerator action="action_forward" />
</ui>
|
