Double clicking on an edge's label should edit it - Githubissues

dionyziz / Automata

An editor for deterministic finite automata

http://automata.discrete.gr

51 stars 12 forks source link

Double clicking on an edge's label should edit it #39

Open dionyziz opened 10 years ago

dionyziz commented 9 years ago

$5 bounty