forked from jupyterlab/jupyterlab
/
plugin.json
75 lines (75 loc) · 2.02 KB
/
plugin.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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
{
"jupyter.lab.setting-icon-class": "jp-TerminalIcon",
"jupyter.lab.setting-icon-label": "Terminal",
"title": "Terminal",
"description": "Terminal settings.",
"definitions": {
"fontFamily": {
"type": "string"
},
"fontSize": {
"type": "integer",
"minimum": 9,
"maximum": 72
},
"lineHeight": {
"type": "number",
"minimum": 1.0
},
"theme": {
"enum": ["dark", "light", "inherit"]
},
"scrollback": {
"type": "number"
},
"pasteWithCtrlV": {
"type": "boolean"
}
},
"properties": {
"fontFamily": {
"title": "Font family",
"description": "The font family used to render text.",
"$ref": "#/definitions/fontFamily",
"default": "monospace"
},
"fontSize": {
"title": "Font size",
"description": "The font size used to render text.",
"$ref": "#/definitions/fontSize",
"default": 13
},
"lineHeight": {
"title": "Line height",
"description": "The line height used to render text.",
"$ref": "#/definitions/lineHeight",
"default": 1.0
},
"theme": {
"title": "Theme",
"description": "The theme for the terminal.",
"$ref": "#/definitions/theme",
"default": "inherit"
},
"scrollback": {
"title": "Scrollback Buffer",
"description": "The amount of scrollback beyond initial viewport",
"$ref": "#/definitions/lineHeight",
"default": 1000
},
"shutdownOnClose": {
"title": "Shut down on close",
"description": "Whether to shut down or not the session when closing the terminal.",
"type": "boolean",
"default": false
},
"pasteWithCtrlV": {
"title": "Paste with Ctrl+V",
"description": "Whether to enable pasting with Ctrl+V. This can be disabled to use Ctrl+V in the vi editor, for instance. This setting has no effect on macOS, where Cmd+V is available",
"type": "boolean",
"default": true
}
},
"additionalProperties": false,
"type": "object"
}