Hi Tim, yes, I do know about Ctrl-R, but it is much lazier to use the up/down arrows, particularly when navigating history (otherwise you have to use Ctrl-R repeatedly, and Ctrl-Shift-R to go back).
El miércoles, 20 de agosto de 2014 00:39:33 UTC+2, Tim Holy escribió: > > You know about the Ctrl-r shortcut though, right? > --Tim > > On Tuesday, August 19, 2014 10:57:19 PM Carlos Becker wrote: > > Hi all, > > > > I think this is a typically asked question, but I don't know whether it > is > > possible now in julia v0.3. > > Namely to make the up/down arrows search completion history in the REPL. > If > > so, I will be happy to document it in the docs in the FAQ section. > > > > Thanks. > > > > ------------------------------------------ > > Carlos > >