[jstimpfle]

I've always done "undo-redo" which achieves the same, but I guess ; could be used for other purposes.