without the Aloha undo plugin, text undo doesn't work at all