redo for the editor

an undo for undos :)

(atm, there is no memory limit on redos)