gtk-properties
document-properties
_Revert to Original
document-revert
gtk-delete
edit-delete
True
False
edit-undo
False
Main Menu
675
530
normal
False
6
6
6
6
vertical
2
False
end
_Help
True
True
True
help-icon
True
True
True
0
_Undo
True
True
True
undo-icon
True
True
True
1
R_edo
True
True
True
redo-icon
True
True
True
2
_Revert
True
True
True
revert-icon
True
True
True
3
_Close
True
True
True
close-icon
True
True
True
4
False
False
0
True
False
True
True
True
False
vertical
True
False
start
4
2
_Menus:
True
menu_tree
False
True
0
True
True
in
True
True
1
True
True
True
False
vertical
True
False
start
4
2
_Items:
True
item_tree
False
True
0
True
True
in
True
True
True
True
1
True
True
True
True
0
True
False
22
vertical
6
True
False
vertical
6
start
True
True
0
Ne_w Item
True
True
True
new-item-icon
True
True
True
1
New _Separator
True
True
True
True
True
True
2
_Properties
True
True
True
properties-icon
True
False
True
3
_Delete
True
True
True
delete-icon
True
True
True
4
False
True
0
True
False
12
vertical
6
start
Move _Up
True
True
True
move-up-icon
True
True
True
0
Move _Down
True
True
True
move-down-icon
True
True
True
1
False
True
1
False
False
6
1
True
True
6
1
help_button
undo_button
redo_button
revert_button
close_button