master
/ .localenv / lib / python3.5 / site-packages / jupyterlab / schemas / @jupyterlab / terminal-extension / plugin.json

plugin.json @master — raw · history · blame 

 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
{
  "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"]
    },
    "scrollback": {
      "type": "number"
    }
  },
  "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": "dark"
    },
    "scrollback": {
      "title": "Scrollback Buffer",
      "description": "The amount of scrollback beyond initial viewport",
      "$ref": "#/definitions/lineHeight",
      "default": 1000
    }
  },
  "additionalProperties": false,
  "type": "object"
}