Add prefix keymap - Githubissues

MasonProtter / ReplMaker.jl

Simple API for building repl modes in Julia

Other

134 stars 14 forks source link

Add prefix keymap #21

Closed c42f closed 3 years ago

c42f commented 3 years ago

This allows the up arrow to work for history completion, as in the main julia REPL.

The implementation here seems to work (copying from this library and from stdlib/REPL), but I I'm not 100% sure whether we should be doing something with the prefix_prompt object here. Like search_prompt, I'm not saving this anywhere and there seems to be no obvious consequences!

MasonProtter commented 3 years ago

Awesome, sorry I didn't get around to looking at this sooner. LGTM!

c42f commented 3 years ago

No worries, thanks for the new release!

c42f commented 3 years ago

btw, here's my latest REPL tool which prompted making this PR: https://github.com/c42f/RemoteREPL.jl

Some important use cases:

Developing JuliaHub
Messing with my kids by modifying a game I wrote for them while they're playing it.

MasonProtter commented 3 years ago

Very cool!