{
  "jupyter.lab.setting-icon-class": "jp-TextEditorIcon",
  "jupyter.lab.setting-icon-label": "CodeMirror",
  "title": "CodeMirror",
  "description": "Text editor settings for all CodeMirror editors.",
  "properties": {
    "keyMap": { "type": "string", "title": "Key Map", "default": "default" },
    "theme": { "type": "string", "title": "Theme", "default": "default" }
  },
  "type": "object"
}

{
  "jupyter.lab.setting-icon-class": "jp-TextEditorIcon",
  "jupyter.lab.setting-icon-label": "CodeMirror",
  "title": "CodeMirror",
  "description": "Text editor settings for all CodeMirror editors.",
  "properties": {
    "keyMap": {
      "default": "default",
      "description": "The keymap CodeMirror uses.",
      "title": "Key Map",
      "type": "string"
    },
    "theme": {
      "default": "default",
      "description": "The CodeMirror theme.",
      "title": "Theme",
      "type": "string"
    }
  },
  "type": "object"
}

Add descriptions for CodeMirror schema properties.
Add descriptions for CodeMirror schema properties.
