WP31s error recovery

[walter b]

(03-07-2015 02:09 PM)rprosperi Wrote:  

(03-07-2015 04:29 AM)Bit Wrote:  With the latest undo patch, ...

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.

I fullheartedly concur.

d:-)