micro
micro copied to clipboard
Can't keybind "Ctrl-Enter"
Description of the problem or steps to reproduce
I want to bind Ctrl-Enter
to EndOfLine,InsertNewline
mimicking Sublime Text behavior. The press of Enter
is seems to be captured by the default InsertNewline
, so that I get the normal Enter
behavior even if I also press Ctrl
.
{
"CtrlEnter": "EndOfLine,InsertNewline",
}
I don't think this is an issue with my command, as it works with other keys. I also had no success with additionally defining "Enter": "InsertNewline"
in bindings.json
.
Specifications
Commit hash: 1856891
OS: Linux Ubuntu 18.04 (Kernel 4.15)
Terminal: gnome-terminal
3.28.2
I found the problem, but not the solution. The docs say we can not use any key not on there list (even though some of the defaults seem to do so).
I have not been able to find the if it is possible to map CtrlEnter, and if so how.
Any resolution to this, I use CtrlEnter
all the time to insert a newline after the current line. Also CtrlShiftEnter
doesn't seem to work either.