search

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
154 stars 22 forks source link

Distinguish directed and undirected edges #64

Closed randomguy3 closed 12 years ago

randomguy3 commented 12 years ago

We should get rid of the "Draw edges" option on the view menu.

Directed edges should always have arrowheads.

Undirected edges should never have arrowheads.