Derivation history jumps around erratically

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.

http://quantomatic.github.io

152 stars 22 forks source link

Closed akissinger closed 6 years ago

akissinger commented 6 years ago

Especially on long derivations, changing the derivation step in the history makes it jump to random place.

hmillerbakewell commented 6 years ago

Duplicated in #178, but it's fixed now