Skip to content

Instantly share code, notes, and snippets.

@dennissergeev
Last active November 14, 2022 19:50
Show Gist options
  • Save dennissergeev/0ad664063a31d10ed39b6c3e4622f8a8 to your computer and use it in GitHub Desktop.
Save dennissergeev/0ad664063a31d10ed39b6c3e4622f8a8 to your computer and use it in GitHub Desktop.
Useful JupyterLab shortcuts
{
"shortcuts":[
{
"args": {},
"command": "notebook:restart-and-run-to-selected",
"keys": [
"Ctrl Q", "Ctrl Q"
],
"selector": ".jp-Notebook:focus"
},
{
"args": {},
"command": "jupyterlab_code_formatter:format",
"keys": [
"Ctrl K", "Ctrl L"
],
"selector": ".jp-Notebook.jp-mod-editMode"
}
]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment