{
  "title": "Document Search",
  "description": "Document search plugin.",
  "jupyter.lab.shortcuts": [
    {
      "command": "documentsearch:start",
      "keys": ["Accel F"],
      "selector": "body"
    },
    {
      "command": "documentsearch:highlightNext",
      "keys": ["Accel G"],
      "selector": "body"
    },
    {
      "command": "documentsearch:highlightPrevious",
      "keys": ["Accel Shift G"],
      "selector": "body"
    }
  ],
  "properties": {},
  "additionalProperties": false,
  "type": "object"
}