I think it might make sense to have those bound by default in jupyter command mode too for simplicity.
(Maybe I'm alone on this, but I still very frequently press those keys in juptyer command mode despite trying to learn to double-check which mode I'm in beforehand.)
For reference, this how you map them:
// default is editMode only
{
"selector": '.jp-Notebook.jp-mod-insertMode',
"keys": [
'Ctrl J'
],
"command": 'notebook:move-cursor-down'
},
{
"selector": '.jp-Notebook.jp-mod-insertMode',
"keys": [
'Ctrl K'
],
"command": 'notebook:move-cursor-up'
},
I think it might make sense to have those bound by default in jupyter command mode too for simplicity.
(Maybe I'm alone on this, but I still very frequently press those keys in juptyer command mode despite trying to learn to double-check which mode I'm in beforehand.)
For reference, this how you map them: