You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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'
},
The text was updated successfully, but these errors were encountered:
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:
The text was updated successfully, but these errors were encountered: