jupyterlab/packages/fileeditor-extension/schema/plugin.json

{
  "jupyter.lab.setting-icon": "ui-components:text-editor",
  "jupyter.lab.setting-icon-label": "Editor",
  "jupyter.lab.menus": {
    "main": [
      {
        "id": "jp-mainmenu-file",
        "items": [
          {
            "type": "submenu",
            "submenu": {
              "id": "jp-mainmenu-file-new",
              "items": [
                {
                  "command": "fileeditor:create-new",
                  "rank": 30
                },
                {
                  "command": "fileeditor:create-new-markdown-file",
                  "rank": 30
                }
              ]
            }
          }
        ]
      },
      {
        "id": "jp-mainmenu-settings",
        "items": [
          {
            "type": "separator",
            "rank": 30
          },
          {
            "type": "submenu",
            "submenu": {
              "id": "jp-mainmenu-settings-fileeditorindent",
              "label": "Text Editor Indentation",
              "items": [
                {
                  "command": "fileeditor:change-tabs",
                  "args": {
                    "insertSpaces": false,
                    "size": 4
                  }
                },
                {
                  "command": "fileeditor:change-tabs",
                  "args": {
                    "insertSpaces": true,
                    "size": 1
                  }
                },
                {
                  "command": "fileeditor:change-tabs",
                  "args": {
                    "insertSpaces": true,
                    "size": 2
                  }
                },
                {
                  "command": "fileeditor:change-tabs",
                  "args": {
                    "insertSpaces": true,
                    "size": 4
                  }
                },
                {
                  "command": "fileeditor:change-tabs",
                  "args": {
                    "insertSpaces": true,
                    "size": 8
                  }
                }
              ]
            },
            "rank": 30
          },
          {
            "command": "fileeditor:toggle-autoclosing-brackets-universal",
            "rank": 30
          },
          {
            "command": "fileeditor:change-font-size",
            "rank": 30,
            "args": {
              "delta": 1,
              "isMenu": true
            }
          },
          {
            "command": "fileeditor:change-font-size",
            "rank": 30,
            "args": {
              "delta": -1,
              "isMenu": true
            }
          }
        ]
      }
    ],
    "context": [
      {
        "command": "fileeditor:create-console",
        "selector": ".jp-FileEditor"
      },
      {
        "command": "fileeditor:markdown-preview",
        "selector": ".jp-FileEditor"
      },
      {
        "command": "fileeditor:undo",
        "selector": ".jp-FileEditor",
        "rank": 1
      },
      {
        "command": "fileeditor:redo",
        "selector": ".jp-FileEditor",
        "rank": 2
      },
      {
        "command": "fileeditor:cut",
        "selector": ".jp-FileEditor",
        "rank": 3
      },
      {
        "command": "fileeditor:copy",
        "selector": ".jp-FileEditor",
        "rank": 4
      },
      {
        "command": "fileeditor:paste",
        "selector": ".jp-FileEditor",
        "rank": 5
      },
      {
        "command": "fileeditor:select-all",
        "selector": ".jp-FileEditor",
        "rank": 6
      }
    ]
  },
  "title": "Text Editor",
  "description": "Text editor settings.",
  "definitions": {
    "editorConfig": {
      "properties": {
        "autoClosingBrackets": {
          "type": "boolean"
        },
        "codeFolding": {
          "type": "boolean"
        },
        "cursorBlinkRate": {
          "type": "number",
          "title": "Cursor blinking rate",
          "description": "Half-period in milliseconds used for cursor blinking. The default blink rate is 530ms. By setting this to zero, blinking can be disabled. A negative value hides the cursor entirely."
        },
        "fontFamily": {
          "type": ["string", "null"]
        },
        "fontSize": {
          "type": ["integer", "null"],
          "minimum": 1,
          "maximum": 100
        },
        "insertSpaces": {
          "type": "boolean"
        },
        "lineHeight": {
          "type": ["number", "null"]
        },
        "lineNumbers": {
          "type": "boolean"
        },
        "lineWrap": {
          "type": "string",
          "enum": ["off", "on", "wordWrapColumn", "bounded"]
        },
        "matchBrackets": {
          "type": "boolean"
        },
        "readOnly": {
          "type": "boolean"
        },
        "rulers": {
          "type": "array",
          "items": {
            "type": "number"
          }
        },
        "tabSize": {
          "type": "number"
        },
        "wordWrapColumn": {
          "type": "integer"
        }
      },
      "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": false,
        "codeFolding": false,
        "cursorBlinkRate": 530,
        "fontFamily": null,
        "fontSize": null,
        "insertSpaces": true,
        "lineHeight": null,
        "lineNumbers": true,
        "lineWrap": "on",
        "matchBrackets": true,
        "readOnly": false,
        "rulers": [],
        "tabSize": 4,
        "wordWrapColumn": 80
      }
    }
  },
  "additionalProperties": false,
  "type": "object"
}