{
  "jupyter.lab.setting-icon": "ui-components:text-editor",
  "jupyter.lab.setting-icon-label": "CodeMirror",
  "jupyter.lab.menus": {
    "main": [
      {
        "id": "jp-mainmenu-view",
        "items": [
          {
            "type": "separator",
            "rank": 40
          },
          {
            "type": "submenu",
            "submenu": {
              "id": "jp-mainmenu-view-codemirror-theme",
              "label": "Text Editor Syntax Highlighting"
            },
            "rank": 40
          },
          {
            "type": "separator",
            "rank": 40
          }
        ]
      },
      {
        "id": "jp-mainmenu-settings",
        "items": [
          {
            "type": "submenu",
            "submenu": {
              "id": "jp-mainmenu-view-codemirror-keymap",
              "label": "Text Editor Key Map",
              "items": [
                {
                  "command": "codemirror:change-keymap",
                  "args": {
                    "keyMap": "default"
                  }
                },
                {
                  "command": "codemirror:change-keymap",
                  "args": {
                    "keyMap": "sublime"
                  }
                },
                {
                  "command": "codemirror:change-keymap",
                  "args": {
                    "keyMap": "vim"
                  }
                },
                {
                  "command": "codemirror:change-keymap",
                  "args": {
                    "keyMap": "emacs"
                  }
                }
              ]
            },
            "rank": 31
          },
          {
            "type": "submenu",
            "submenu": {
              "id": "jp-mainmenu-view-codemirror-theme",
              "label": "Text Editor Theme",
              "items": [
                {
                  "command": "codemirror:change-theme",
                  "args": {
                    "theme": "jupyter"
                  }
                },
                {
                  "command": "codemirror:change-theme",
                  "args": {
                    "theme": "default"
                  }
                },
                {
                  "command": "codemirror:change-theme",
                  "args": {
                    "theme": "abcdef"
                  }
                },
                {
                  "command": "codemirror:change-theme",
                  "args": {
                    "theme": "base16-dark"
                  }
                },
                {
                  "command": "codemirror:change-theme",
                  "args": {
                    "theme": "base16-light"
                  }
                },
                {
                  "command": "codemirror:change-theme",
                  "args": {
                    "theme": "hopscotch"
                  }
                },
                {
                  "command": "codemirror:change-theme",
                  "args": {
                    "theme": "material"
                  }
                },
                {
                  "command": "codemirror:change-theme",
                  "args": {
                    "theme": "mbo"
                  }
                },
                {
                  "command": "codemirror:change-theme",
                  "args": {
                    "theme": "mdn-like"
                  }
                },
                {
                  "command": "codemirror:change-theme",
                  "args": {
                    "theme": "seti"
                  }
                },
                {
                  "command": "codemirror:change-theme",
                  "args": {
                    "theme": "solarized dark"
                  }
                },
                {
                  "command": "codemirror:change-theme",
                  "args": {
                    "theme": "solarized light"
                  }
                },
                {
                  "command": "codemirror:change-theme",
                  "args": {
                    "theme": "the-matrix"
                  }
                },
                {
                  "command": "codemirror:change-theme",
                  "args": {
                    "theme": "xq-light"
                  }
                },
                {
                  "command": "codemirror:change-theme",
                  "args": {
                    "theme": "zenburn"
                  }
                }
              ]
            },
            "rank": 31
          },
          {
            "type": "separator",
            "rank": 39
          }
        ]
      }
    ]
  },
  "title": "CodeMirror",
  "description": "Text editor settings for all CodeMirror editors.",
  "properties": {
    "keyMap": {
      "type": "string",
      "title": "Key Map",
      "description": "Configures the keymap to use",
      "default": "default"
    },
    "theme": {
      "type": "string",
      "title": "Theme",
      "description": "CSS file defining the corresponding\n.cm-s-[name] styles is loaded",
      "default": "jupyter"
    },
    "scrollPastEnd": {
      "type": "boolean",
      "title": "Scroll behavior",
      "description": "Whether to scroll past the end of text document",
      "default": true
    },
    "styleActiveLine": {
      "oneOf": [
        {
          "type": "boolean",
          "title": "Boolean"
        },
        {
          "type": "object",
          "properties": {
            "nonEmpty": {
              "type": "boolean"
            }
          },
          "title": "Object"
        }
      ],
      "title": "Style Active Line",
      "description": "Highlight active line. Value is boolean, or { nonEmpty: boolean }.",
      "default": false
    },
    "styleSelectedText": {
      "type": "boolean",
      "title": "Style Selected Text",
      "default": true
    },
    "selectionPointer": {
      "oneOf": [
        {
          "type": "boolean",
          "title": "Use default"
        },
        {
          "type": "string",
          "title": "Cursor pointer name"
        }
      ],
      "title": "Selection Pointer",
      "description": "Control the mouse cursor appearance when hovering over the selection. Value is boolean or string, e.g. 'pointer'.",
      "default": false
    },
    "lineWiseCopyCut": {
      "type": ["boolean"],
      "title": "Line-wise Ctrl-C",
      "description": "When enabled, which is the default, doing copy or cut when there is no selection will copy or cut the whole lines that have cursors on them.",
      "default": true
    }
  },
  "type": "object"
}
