Added gundo for a graphical undo tree