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