{
  "jupyter.lab.setting-icon-class": "jp-TextEditorIcon",
  "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"
}
