-
Mikael Magnusson authored
add undo and redo buttons, can undo all interactions. The reset button is equivalent to undoing all operations and lets you press redo to get back to before you reset. Doing something after undo will of course clear all redo events.
f5b08f33