zxcalc / quantomatic

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

Edge types are stuck at default [qpc2018] [bug] [ui] #222

Closed SaraWolffs closed 6 years ago

SaraWolffs commented 6 years ago

Trying to play around with the Theory modification feature a bit, I ran into an issue with edges: changing the type of edge you want to draw in the drop-down menu doesn't actually change the active edge type. Manually changing the type in the .qgraph and reloading seems to work correctly, so this seems to be a pure editing issue, with the underlying model and the renderer behaving correctly.