Keyboard Shortcuts

Keyboard Shortcuts

A quick reference. The same list is available in‑app via the ? help dialog.

Simulation

Shortcut	Action
Space or P	Play / Pause
→ or S	Step forward
←	Step back
R	Reset

Editing

Shortcut	Action
N	Add a state at the viewport centre
Double‑click (state)	Rename / edit label
Double‑click (edge)	Edit transition
Ctrl+Z / Ctrl+Y	Undo / Redo
Ctrl+Click	Select multiple elements
Ctrl+C / X / V	Copy / Cut / Paste
Delete	Remove selected elements
Esc	Cancel inline label editing

Files & tabs

Shortcut	Action
Ctrl+N	New machine
Ctrl+O	Open…
Ctrl+S	Save
Ctrl+Shift+S	Save As…
Ctrl+T	New tab
Ctrl+W	Close tab

On macOS, use ⌘ in place of Ctrl.

Note: editing is locked only while a simulation is actively running. After a run reaches a verdict (Accepted / Rejected / Stuck) the diagram is editable again, and your first edit clears the result and returns to Idle.