You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
84 lines
2.0 KiB
84 lines
2.0 KiB
{
|
|
"jupyter.lab.setting-icon": "ui-components:text-editor",
|
|
"jupyter.lab.setting-icon-label": "Editor",
|
|
"title": "Text Editor",
|
|
"description": "Text editor settings.",
|
|
"definitions": {
|
|
"editorConfig": {
|
|
"properties": {
|
|
"autoClosingBrackets": {
|
|
"type": "boolean"
|
|
},
|
|
"fontFamily": {
|
|
"type": ["string", "null"]
|
|
},
|
|
"fontSize": {
|
|
"type": ["integer", "null"],
|
|
"minimum": 1,
|
|
"maximum": 100
|
|
},
|
|
"lineHeight": {
|
|
"type": ["number", "null"]
|
|
},
|
|
"lineNumbers": {
|
|
"type": "boolean"
|
|
},
|
|
"lineWrap": {
|
|
"type": "string",
|
|
"enum": ["off", "on", "wordWrapColumn", "bounded"]
|
|
},
|
|
"matchBrackets": {
|
|
"type": "boolean"
|
|
},
|
|
"readOnly": {
|
|
"type": "boolean"
|
|
},
|
|
"insertSpaces": {
|
|
"type": "boolean"
|
|
},
|
|
"tabSize": {
|
|
"type": "number"
|
|
},
|
|
"wordWrapColumn": {
|
|
"type": "integer"
|
|
},
|
|
"rulers": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "number"
|
|
}
|
|
},
|
|
"codeFolding": {
|
|
"type": "boolean"
|
|
}
|
|
},
|
|
"additionalProperties": false,
|
|
"type": "object"
|
|
}
|
|
},
|
|
"properties": {
|
|
"editorConfig": {
|
|
"title": "Editor Configuration",
|
|
"description": "The configuration for all text editors.\nIf `fontFamily`, `fontSize` or `lineHeight` are `null`,\nvalues from current theme are used.",
|
|
"$ref": "#/definitions/editorConfig",
|
|
"default": {
|
|
"autoClosingBrackets": true,
|
|
"fontFamily": null,
|
|
"fontSize": null,
|
|
"lineHeight": null,
|
|
"lineNumbers": true,
|
|
"lineWrap": "on",
|
|
"matchBrackets": true,
|
|
"readOnly": false,
|
|
"insertSpaces": true,
|
|
"tabSize": 4,
|
|
"wordWrapColumn": 80,
|
|
"rulers": [],
|
|
"codeFolding": false
|
|
}
|
|
}
|
|
},
|
|
"additionalProperties": false,
|
|
"type": "object"
|
|
}
|