When I want to find something specific in the REPL history I just use reverse search (Ctrl + R). But I have the habit to just Ctrl + C before I press up so it doesnt bother me much.
On Thursday, June 16, 2016 at 11:17:15 PM UTC+2, Stefan Karpinski wrote: > > I'm also annoyed by this sometimes, but sometimes it's convenient. No one > has figured out a good way of distinguishing the two cases – when it's > annoying and when it's convenient. > > On Thu, Jun 16, 2016 at 4:49 PM, Kristoffer Carlsson <[email protected] > <javascript:>> wrote: > >> No. > > >
