image-match/python/py/share/jupyter/lab/schemas/@jupyterlab/codemirror-extension/plugin.json

{
  "jupyter.lab.setting-icon": "ui-components:text-editor",
  "jupyter.lab.setting-icon-label": "CodeMirror",
  "jupyter.lab.shortcuts": [
    {
      "command": "codemirror:delete-line",
      "keys": ["Accel D"],
      "selector": ".cm-content"
    },
    {
      "command": "codemirror:delete-line",
      "keys": ["Accel Shift K"],
      "selector": ".cm-content"
    },
    {
      "command": "codemirror:toggle-block-comment",
      "keys": ["Alt A"],
      "selector": ".cm-content"
    },
    {
      "command": "codemirror:toggle-comment",
      "keys": ["Accel /"],
      "selector": ".cm-content"
    },
    {
      "command": "codemirror:select-next-occurrence",
      "keys": ["Accel Shift D"],
      "selector": ".cm-content"
    }
  ],
  "jupyter.lab.menus": {
    "main": [
      {
        "id": "jp-mainmenu-view",
        "items": [
          {
            "type": "submenu",
            "rank": 10,
            "submenu": {
              "id": "jp-mainmenu-codefold",
              "label": "Code Folding",
              "items": [
                {
                  "command": "codemirror:fold-current",
                  "rank": 1
                },
                {
                  "command": "codemirror:unfold-current",
                  "rank": 2
                },
                {
                  "command": "codemirror:fold-subregions",
                  "rank": 3
                },
                {
                  "command": "codemirror:unfold-subregions",
                  "rank": 4
                },
                {
                  "command": "codemirror:fold-all",
                  "rank": 5
                },
                {
                  "command": "codemirror:unfold-all",
                  "rank": 6
                }
              ]
            }
          }
        ]
      }
    ]
  },
  "title": "CodeMirror",
  "description": "Text editor settings for all CodeMirror editors.",
  "properties": {
    "defaultConfig": {
      "default": {},
      "title": "Default editor configuration",
      "description": "Base configuration used by all CodeMirror editors.",
      "type": "object"
    }
  },
  "type": "object"
}