Undo / Redo operations in GUI

ggrov / tinker

Graph based proof strategy language

http://ggrov.github.io/tinker/

6 stars 0 forks source link

Undo / Redo operations in GUI #47

Closed plebras closed 9 years ago

plebras commented 9 years ago

This feature is poorly if not non-existent for most of the editing operation. Also the current implementation (done with quantomatic) is not reusable in the rest of the application.

[x] disable the undo/redo used with quantomatic
[x] design a new behaviour that can apply on graphical changes (with the quantomatic library) and model changes
[x] implement it

plebras commented 9 years ago

This should be finished. However bugs may still be existent and unnoticed or will appear with further implementations. Report them here.