REPL History Search #654
Description
Original issue 613 created by laurentpetit on 2014-01-27T10:05:06.000Z:
Additional to stepping through the REPL history, a search through history is important for every day work.
My attempt to implement this similar to the search in bash or in repl-y (https://github.com/trptcolin/reply) was not integrated (issue # 322).
Maybe a different implementation approach to searching the REPL history might be better but we need to have some possibility to search the REPL history together with settings to adjust the history size stored.
I set this issue to high priority since the absence of a REPL search annoys me multiple times per day.
Sadly, I have no time anymore to build this feature on my own this year. :(