WP31s error recovery

[rprosperi]

(03-07-2015 04:29 AM)Bit Wrote:  

(03-04-2015 12:52 AM)Bit Wrote:  

With the latest undo patch, if your press [f] [UNDO] when there's something in the command line, it just clears the command line first (and this can't be undone), just like [EXIT] does, and you need to press [f] [UNDO] again, to actually revert the last operation.

[1] [ENTER] [2] [ENTER] [3] [f] [UNDO] -> X=2 Y=2 Z=1
[f] [UNDO] again -> X=2 Y=1
[f] [UNDO] yet again -> X=2 Y=2 Z=1

I wonder if it'd be better if the first [f] [UNDO] just cleared the command line and at the same time also reverted the last operation...

I agree, it probably would be better (more expected) to do what you suggest. Since the command line has not been saved and is inherently transient anyhow, user could still use [EXIT] if that was the goal, whereas [UNDO] is intended to restore a previously saved condition. This also keeps the behavior of [UNDO] entirely consistent, IMHO one of the most important aspects of a feature like this.