only enable undo button if there is anything to undo; resolves #17