New Open Open recent Settings Save Close

Select all Cut Copy Paste Undo Redo

Zoom in Zoom out Zoom to fit Editor theme

Compare equivalence Convert to DFA Apply layout Remove unreachable states Align states to grid Test multiple inputs Test step-by-step