Remove duplicates in history about garglk

[GoogleCodeExporter]

Seems like a useful feature, and relatively easy to implement: when using the up
arrow to scroll through lines, skip any lines that are identical to the current 
line.

Original comment by [email protected] on 29 Nov 2008 at 5:09

• Changed state: Accepted
• Added labels: Type-Enhancement, Component-UI, OpSys-All
• Removed labels: Type-Defect

[GoogleCodeExporter]

Original comment by [email protected] on 1 Dec 2008 at 4:37

• Added labels: Usability

[GoogleCodeExporter]

Fixed in r127.

Original comment by [email protected] on 10 Dec 2008 at 12:48

• Changed state: Fixed

[GoogleCodeExporter]

Though the new behaviour removes only consecutive duplicates (which is totally 
fine,
I just noticed) I do appreciate it a lot. Also, the restore/save window destroy 
bug
is gone. Huzzah! Thank you for your fast and responsive coding, bcressey!

Original comment by [email protected] on 10 Dec 2008 at 2:24

[GoogleCodeExporter]

Changed in r128 to simply discard the history entries prior to storing them.  
More
efficient, plus it doesn't reduce the effective number of history entries.

I get what you're after - a history free of any duplicates - and I'll ponder 
that
too.  But eliminating adjacent duplicates gets rid of the trouble with 'z', 
'g', or
(my personal pet peeve) multiple 'undo' actions.

Original comment by [email protected] on 10 Dec 2008 at 2:58