WP31s error recovery

[Dieter]

(03-05-2015 08:13 PM)rprosperi Wrote:  Undo of Undo should put you back to 1,1,2,12 since it is undo-ing the last operation, back to it's prior state.

So it's a kind of UNDOing the UNDO, maybe something like a RESTORE. ;-)

I don't know which solution I would prefer. Version 1 is similar to Windows programs with an Undo-history (e.g. Excel or Photoshop): every CTRL+Z steps one operation back in history. Likewike CTRL+R goes one step forward. Other programs without operation history (e.g. Notepad) behave the way the "improved UNDO" seems to work: Pressing CTRL+Z several times simply switches between the previous and current state. Both solutions have their advantages.

Dieter