master
/ .localenv / lib / python3.5 / site-packages / jupyterlab / schemas / @jupyterlab / mainmenu-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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
{
  "title": "Main Menu",
  "description": "Main JupyterLab menu settings.",
  "jupyter.lab.shortcuts": [
    {
      "command": "editmenu:clear-all",
      "keys": [""],
      "selector": "[data-jp-undoer]"
    },
    {
      "command": "editmenu:clear-current",
      "keys": [""],
      "selector": "[data-jp-undoer]"
    },
    {
      "command": "editmenu:find",
      "keys": [""],
      "selector": "[data-jp-undoer]"
    },
    {
      "command": "editmenu:find-and-replace",
      "keys": [""],
      "selector": "[data-jp-undoer]"
    },
    {
      "command": "editmenu:redo",
      "keys": ["Ctrl Shift Z"],
      "selector": "[data-jp-undoer]"
    },
    {
      "command": "editmenu:undo",
      "keys": ["Ctrl Z"],
      "selector": "[data-jp-undoer]"
    },
    {
      "command": "filemenu:close-and-cleanup",
      "keys": ["Ctrl Shift Q"],
      "selector": ".jp-Activity"
    },
    {
      "command": "kernelmenu:interrupt",
      "keys": ["I", "I"],
      "selector": "[data-jp-kernel-user]:focus"
    },
    {
      "command": "kernelmenu:restart",
      "keys": ["0", "0"],
      "selector": "[data-jp-kernel-user]:focus"
    },
    {
      "command": "kernelmenu:restart-and-clear",
      "keys": [""],
      "selector": "[data-jp-kernel-user]:focus"
    },
    {
      "command": "kernelmenu:shutdown",
      "keys": [""],
      "selector": "[data-jp-kernel-user]:focus"
    },
    {
      "command": "runmenu:restart-and-run-all",
      "keys": [""],
      "selector": "[data-jp-code-runner]"
    },
    {
      "command": "runmenu:run",
      "keys": ["Shift Enter"],
      "selector": "[data-jp-code-runner]"
    },
    {
      "command": "runmenu:run-all",
      "keys": [""],
      "selector": "[data-jp-code-runner]"
    },
    {
      "command": "tabsmenu:activate-previously-used-tab",
      "keys": ["Accel Shift '"],
      "selector": "body"
    }
  ],
  "properties": {},
  "additionalProperties": false,
  "type": "object"
}