JuliaLang/julia — pull request #9368 by blakejohnson (2014-12-15 15:13:44+00:00)
Title: Experimental: Drop unique entry requirement on prefix searching.

Following discussion in #8468, this PR removes the prefix search feature of skipping entries that are identical to the current input. It is nice feature when you want it, but it also hides sections of history. I believe the current behavior is to blame for the perception of dropped history entries.

Having played with this for a little while, I can say I immediately miss the "old" behavior, mainly because when you hit a section of identical input, there is no visual indication that your input did anything. So, I think if we want to actually adopt this, we will need to think of some UI modification to indicate action without change.

CC @timholy