Re: Patches item #1729825 ready to go.

[Petr M. <mi...@ph...>]

> I've programmed the condensed version during display rather than tossing out 
> redundant commands and that was *so* much easier.  The only difference is that 
> the up-arrow that you mention, Petr, will still have to go through the full 
> list.  (I could probably reprogram that as well to skip redundancy.)
> 
> I think it is easy enough to enable both with an option (full history stack, 
> default).  In fact, I'd propose to deprecate

So it seems everybody likes a different history: I like a "set" of commands, 
some other "ordered list" with/out duplicates, ... Dan, please make options 
to satisfy everybody -- it you think all this is worth to change.

> 1)  history clear

OK

---
PM