ggrov / tinker

Graph based proof strategy language
http://ggrov.github.io/tinker/
6 stars 0 forks source link

bug when undoing / redoing thing in GUI #58

Closed plebras closed 9 years ago

plebras commented 9 years ago

Sometimes when undoing in the GUI a boundary unlinked to any edge appears on the graph. This is probably due to a register in the undo stack during a drag edge that saves the boundary as an action step.