Closed GoogleCodeExporter closed 8 years ago
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 bcressey@gmail.com
on 29 Nov 2008 at 5:09
Original comment by bcressey@gmail.com
on 1 Dec 2008 at 4:37
Fixed in r127.
Original comment by bcressey@gmail.com
on 10 Dec 2008 at 12:48
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 unixprog@googlemail.com
on 10 Dec 2008 at 2:24
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 bcressey@gmail.com
on 10 Dec 2008 at 2:58
Original issue reported on code.google.com by
unixprog@googlemail.com
on 29 Nov 2008 at 4:06