Redo doesn't work

[David Chisnall]

Undo works (mostly), but we don't register redo actions during the undo, so you can't undo an undo.