search

dionyziz / Automata

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

Double clicking on transition text should change text #12

Closed dionyziz closed 6 years ago

dionyziz commented 12 years ago

Double clicking on a transition text should change the transition text. It should not only happen when double clicking on the transition arrow.

DmitryMyadzelets commented 6 years ago

Should be closed in favor of #39.