Does it have an Undo button? If not, I'm sticking to MacOS Terminal.