Map display
Area labels
Area polygons
Region grid
Region labels
Player pins
Nav graph
Editing
Nav graph
Shift+click pointJoin the selection to itRight-clickDelete point or edgeEscStop drawing
Files — new edges go into the highlighted one.
Areas
Click areaSelect it (again: the one beneath)Shift+clickStart a new area there (N: New area)Drag cornerMove itDrag midpointAdd a corner thereRight-clickDelete cornerArrowsNudge corner or area (Shift: 8)
Files — new areas go into the highlighted one.
Teleport
Edges
This point's edges — pick one to edit its actions.
Actions
None: bots just walk it, either way. Adding one makes the edge one-way.
Not a nav action type
Area
New area
Two corners make a rectangle, three or more a polygon. Enter (or clicking the first corner) finishes it, right-click takes the last corner back, Esc cancels.
Another loaded area has this name.
Tags
Other keys
None — a hint, or any param the content reads.
3200, 3200, 0