Un-highlight edges
Hi, I would like to be able to unhighlight edges, since in my IO format highlighting changes the semantics of automata.
Thanks, Dávid
Hi, I would like to be able to unhighlight edges, since in my IO format highlighting changes the semantics of automata.
Thanks, Dávid