Re: Patches item #1729825 ready to go.

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

> Two unresolved things.
> 
> 1) What should be the default for {full|ignoredups|condensed}?  And why?

condensed -- it is the current behaviour, and it speeds us browsing and 
mouse-copying previous commands

> 2) Can we deprecate "historysize".  (I've currently programmed "set history
> <n>" and "set historysize <n>" to be the same.)

change it to 'set history size'

---
PM