{
  "title": "Document Manager",
  "description": "Document Manager settings.",
  "jupyter.lab.setting-icon": "ui-components:file",
  "jupyter.lab.setting-icon-label": "Document Manager",
  "jupyter.lab.transform": true,
  "jupyter.lab.shortcuts": [
    {
      "command": "docmanager:save",
      "keys": ["Accel S"],
      "selector": "body"
    },
    {
      "command": "docmanager:save-as",
      "keys": ["Accel Shift S"],
      "selector": "body"
    }
  ],
  "properties": {
    "autosave": {
      "type": "boolean",
      "title": "Autosave Documents",
      "description": "Whether to autosave documents",
      "default": true
    },
    "autosaveInterval": {
      "type": "number",
      "title": "Autosave Interval",
      "description": "Length of save interval in seconds",
      "default": 120
    },
    "defaultViewers": {
      "type": "object",
      "title": "Default Viewers",
      "default": {},
      "description": "Overrides for the default viewers for file types",
      "properties": {},
      "additionalProperties": {
        "type": "string"
      }
    }
  },
  "additionalProperties": false,
  "type": "object"
}
