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.