{
  "$schema": "http://json-schema.org/draft-06/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-icon-class": {
      "type": "string",
      "default": "jp-FileIcon"
    },
    "jupyter.lab.setting-icon-label": {
      "type": "string",
      "default": "Plugin"
    },
    "jupyter.lab.keyboard-shortcuts": {
      "items": { "$ref": "#/definitions/shortcut" },
      "type": "array",
      "default": []
    }
  },
  "definitions": {
    "shortcut": {
      "properties": {
        "command": { "type": "string" },
        "keys": {
          "items": { "type": "string" },
          "minItems": 1,
          "type": "array"
        },
        "selector": { "type": "string" },
        "title": { "type": "string" },
        "category": { "type": "string" }
      },
      "type": "object"
    }
  }
}

{
  "$schema": "http://json-schema.org/draft-06/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-icon-class": {
      "type": "string",
      "default": "jp-FileIcon"
    },
    "jupyter.lab.setting-icon-label": {
      "type": "string",
      "default": "Plugin"
    },
    "jupyter.lab.keyboard-shortcuts": {
      "items": { "$ref": "#/definitions/shortcut" },
      "type": "array",
      "default": []
    }
  },
  "definitions": {
    "shortcut": {
      "properties": {
        "args": { "required": false, "type": "object" },
        "command": { "required": true, "type": "string" },
        "keys": {
          "items": { "type": "string" },
          "minItems": 1,
          "required": true,
          "type": "array"
        },
        "selector": { "required": true, "type": "string" },
        "title": { "required": true, "type": "string" },
        "category": { "required": true, "type": "string" }
      },
      "type": "object"
    }
  }
}

Update plugin schema to allow `args` for shortcuts and defined required fields.
Update plugin schema to allow `args` for shortcuts and defined required fields.
