{
    "$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": {
            "type": "string",
            "default": ""
        },
        "jupyter.lab.setting-icon-class": {
            "type": "string",
            "default": ""
        },
        "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"
        }
    }
}