Use undo-tree instered of redo+