/
commands.json
45 lines (45 loc) · 1.29 KB
/
commands.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
{
"jupyter.lab.setting-icon-class": "jp-TextEditorIcon",
"jupyter.lab.setting-icon-label": "CodeMirror",
"title": "CodeMirror",
"description": "Text editor settings for all CodeMirror editors.",
"properties": {
"keyMap": {
"type": "string",
"title": "Key Map",
"description": "Configures the keymap to use",
"default": "default"
},
"theme": {
"type": "string",
"title": "Theme",
"description": "CSS file defining the corresponding\n.cm-s-[name] styles is loaded",
"default": "jupyter"
},
"scrollPastEnd": {
"type": "boolean",
"title": "Scroll behavior",
"description": "Whether to scroll past the end of text document",
"default": true
},
"styleActiveLine": {
"type": ["boolean", "object"],
"title": "Style Active Line",
"description": "Value is boolean, or { nonEmpty: boolean }",
"default": false
},
"styleSelectedText": {
"type": "boolean",
"title": "Style Selected Text",
"description": "Value is boolean",
"default": true
},
"selectionPointer": {
"type": ["boolean", "string"],
"title": "Selection Pointer",
"description": "Value is boolean or string, e.g. 'pointer'",
"default": false
}
},
"type": "object"
}