{
  "$schema": "http://json-schema.org/draft-07/schema",
  "title": "JupyterLab Plugin Settings/Preferences Schema",
  "description": "JupyterLab plugin settings/preferences schema",
  "version": "1.0.0",
  "type": "object",
  "additionalProperties": true,
  "properties": {
    "jupyter.lab.setting-deprecated": { "type": "boolean", "default": false },
    "jupyter.lab.setting-icon-class": {
      "type": "string",
      "default": "jp-SettingsIcon"
    },
    "jupyter.lab.setting-icon-label": { "type": "string", "default": "Plugin" },
    "jupyter.lab.shortcuts": {
      "items": { "$ref": "#/definitions/shortcut" },
      "type": "array",
      "default": []
    },
    "jupyter.lab.transform": { "type": "boolean", "default": false }
  },
  "definitions": {
    "shortcut": {
      "properties": {
        "args": { "type": "object" },
        "command": { "type": "string" },
        "disabled": { "type": "boolean", "default": false },
        "keys": {
          "items": { "type": "string" },
          "minItems": 1,
          "type": "array"
        },
        "selector": { "type": "string" }
      },
      "required": ["command", "keys", "selector"],
      "type": "object"
    }
  }
}
