|
@@ -4,11 +4,6 @@
|
|
|
"jupyter.lab.setting-icon-class": "jp-FileIcon",
|
|
|
"jupyter.lab.setting-icon-label": "Document Manager",
|
|
|
"jupyter.lab.shortcuts": [
|
|
|
- {
|
|
|
- "command": "docmanager:close",
|
|
|
- "keys": ["Ctrl Q"],
|
|
|
- "selector": ".jp-Activity"
|
|
|
- },
|
|
|
{
|
|
|
"command": "docmanager:save",
|
|
|
"keys": ["Accel S"],
|