master
/ .localenv / lib / python3.5 / site-packages / jupyterlab / schemas / @jupyterlab / docmanager-extension / plugin.json

plugin.json @master — raw · history · blame 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
{
  "title": "Document Manager",
  "description": "Document Manager settings.",
  "jupyter.lab.setting-icon-class": "jp-FileIcon",
  "jupyter.lab.setting-icon-label": "Document Manager",
  "jupyter.lab.shortcuts": [
    {
      "command": "docmanager:close",
      "keys": ["Ctrl Q"],
      "selector": ".jp-Activity"
    },
    {
      "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
    }
  },
  "additionalProperties": false,
  "type": "object"
}