Undo-tree and new theme