Re: Patches item #1729825 ready to go.

[Daniel J S. <dan...@ie...>]

Let me toss this idea to Petr... What would you think of instead of removing 
items from the stack, say the user types

foo = 35
plot x*foo
foo = 25
plot x*foo
history
foo = 20
plot x*foo
history

and the result of the final history might be

  1 foo = 35
  2 plot x*foo
  3 foo = 25
  6 foo = 20
  8 history

For a more condensed appearance?  Everything could function just as it normally 
does as this might simply be a display option

set history condensed

(btw, "quiet" should also be an option... who wants to keep type "history quiet 
10"?)

Dan