search

dionyziz / Automata

An editor for deterministic finite automata
http://automata.discrete.gr
51 stars 12 forks source link

Running during state rename doesn't cancel rename #13

Closed dionyziz closed 12 years ago

dionyziz commented 12 years ago

1) Double click on state to rename it 2) Click on run 3) Automaton starts running, but the renaming is not cancelled