Undo redo

The thing about those flags is that they are never actually set at all. We always return an old state when they are set, so they never make it into the saved state.