File
Open app.open Save app.save Save As app.save-as
Close app.close Quit app.quit
Edit
Undo app.undo Redo app.redo Cut app.cut Copy app.copy Paste app.paste Clear app.clear
Select All app.select-all Deselect All app.deselect-all
Edit Area Info app.edit-area-info
Preferences app.preferences
View
Area List app.area-list Source... app.source
Color app.colormode color Gray app.colormode gray
Zoom In app.zoom-in Zoom Out app.zoom-out Zoom To
1:1 app.zoom 1 1:2 app.zoom 2 1:3 app.zoom 3 1:4 app.zoom 4 1:5 app.zoom 5 1:6 app.zoom 6 1:7 app.zoom 7 1:8 app.zoom 8
Mappings
Arrow app.shape arrow Rectangle app.shape rectangle Circle app.shape circle Polygon app.shape polygon
Edit Map Info... app.edit-map-info
Tools
Grid app.grid Grid Settings... app.grid-settings
Use PIKA Guides... app.use-pika-guides Create Guides... app.create-guides
Help
Contents app.contents About app.about
Move Up app.move-up Move Down app.move-down
Edit Map Info... app.edit-map-info Tools
Arrow app.shape arrow Rectangle app.shape rectangle Circle app.shape circle Polygon app.shape polygon
Zoom
Zoom In app.zoom-in Zoom Out app.zoom-out
Grid app.grid Grid Settings... app.grid-settings Create Guides... app.create-guides Paste app.paste
Edit Area Info... app.edit-area-info Delete Area app.clear Move Up app.move-up Move Down app.move-down Cut app.cut Copy app.copy
Insert Point app.insert-point Delete Point app.delete-point Edit Area Info... app.edit-area-info Delete Area app.delete-area Move Up app.move-up Move Down app.move-down Cut app.cut Copy app.copy