86 lines
2.1 KiB
JSON
86 lines
2.1 KiB
JSON
{
|
|
"jupyter.lab.setting-icon": "ui-components:text-editor",
|
|
"jupyter.lab.setting-icon-label": "CodeMirror",
|
|
"jupyter.lab.shortcuts": [
|
|
{
|
|
"command": "codemirror:delete-line",
|
|
"keys": ["Accel D"],
|
|
"selector": ".cm-content"
|
|
},
|
|
{
|
|
"command": "codemirror:delete-line",
|
|
"keys": ["Accel Shift K"],
|
|
"selector": ".cm-content"
|
|
},
|
|
{
|
|
"command": "codemirror:toggle-block-comment",
|
|
"keys": ["Alt A"],
|
|
"selector": ".cm-content"
|
|
},
|
|
{
|
|
"command": "codemirror:toggle-comment",
|
|
"keys": ["Accel /"],
|
|
"selector": ".cm-content"
|
|
},
|
|
{
|
|
"command": "codemirror:select-next-occurrence",
|
|
"keys": ["Accel Shift D"],
|
|
"selector": ".cm-content"
|
|
}
|
|
],
|
|
"jupyter.lab.menus": {
|
|
"main": [
|
|
{
|
|
"id": "jp-mainmenu-view",
|
|
"items": [
|
|
{
|
|
"type": "submenu",
|
|
"rank": 10,
|
|
"submenu": {
|
|
"id": "jp-mainmenu-codefold",
|
|
"label": "Code Folding",
|
|
"items": [
|
|
{
|
|
"command": "codemirror:fold-current",
|
|
"rank": 1
|
|
},
|
|
{
|
|
"command": "codemirror:unfold-current",
|
|
"rank": 2
|
|
},
|
|
{
|
|
"command": "codemirror:fold-subregions",
|
|
"rank": 3
|
|
},
|
|
{
|
|
"command": "codemirror:unfold-subregions",
|
|
"rank": 4
|
|
},
|
|
{
|
|
"command": "codemirror:fold-all",
|
|
"rank": 5
|
|
},
|
|
{
|
|
"command": "codemirror:unfold-all",
|
|
"rank": 6
|
|
}
|
|
]
|
|
}
|
|
}
|
|
]
|
|
}
|
|
]
|
|
},
|
|
"title": "CodeMirror",
|
|
"description": "Text editor settings for all CodeMirror editors.",
|
|
"properties": {
|
|
"defaultConfig": {
|
|
"default": {},
|
|
"title": "Default editor configuration",
|
|
"description": "Base configuration used by all CodeMirror editors.",
|
|
"type": "object"
|
|
}
|
|
},
|
|
"type": "object"
|
|
}
|