Alex Sassmannshausen <[email protected]> skribis:

> Is rollback supposed to be one-directional? I.e. you can go back in
> time, but you can't then go forward in time again ('undo' and 'redo')?

That’s a good question: should undos be stored in the history?
IOW, should users be able to undo an undo operation, as is usually
possible with text editors and similar?

Ludo’.

Reply via email to