I want to add a custom keyboard shortcut as described here: The Julia REPL · The Julia Language. I thought it would be quite easy to set an alias for the “home” key:
import REPL
const mykeys = Dict{Any,Any}(
# Move to beginning of line
"^i" => "^a",
)
function customize_keys(repl)
repl.interface = REPL.setup_interface(repl; extra_repl_keymap = mykeys)
end
atreplinit(customize_keys)
this works. Unfortunately, TAB is moving the cursor to the beginning of the line. Any idea what did I do wrong there?
I’m running Julia 1.6.3 on Ubuntu 20.04.
Thank you for your help!