@difizen/libro-lab 0.1.9 → 0.1.11

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (89) hide show
  1. package/es/command/index.d.ts +5 -0
  2. package/es/command/index.d.ts.map +1 -0
  3. package/es/command/index.js +4 -0
  4. package/es/{menu/menu-command.d.ts → command/lab-command.d.ts} +6 -6
  5. package/es/command/lab-command.d.ts.map +1 -0
  6. package/es/{menu/menu-command.js → command/lab-command.js} +9 -5
  7. package/es/{menu/menu-contribution.d.ts → command/lab-menu-contribution.d.ts} +3 -3
  8. package/es/command/lab-menu-contribution.d.ts.map +1 -0
  9. package/es/{menu/menu-contribution.js → command/lab-menu-contribution.js} +242 -241
  10. package/es/command/menu-bar-view.d.ts.map +1 -0
  11. package/es/{menu → command}/menu-bar-view.js +2 -2
  12. package/es/command/module.d.ts.map +1 -0
  13. package/es/{menu → command}/module.js +2 -2
  14. package/es/config/config-contribution.js +2 -2
  15. package/es/editor-viewer/code-editor-open-handler.d.ts.map +1 -1
  16. package/es/editor-viewer/code-editor-open-handler.js +4 -4
  17. package/es/editor-viewer/code-editor-viewer.d.ts +1 -0
  18. package/es/editor-viewer/code-editor-viewer.d.ts.map +1 -1
  19. package/es/editor-viewer/code-editor-viewer.js +8 -2
  20. package/es/editor-viewer/index.less +16 -0
  21. package/es/editor-viewer/libro-default-open-handler.d.ts +11 -0
  22. package/es/editor-viewer/libro-default-open-handler.d.ts.map +1 -0
  23. package/es/editor-viewer/libro-default-open-handler.js +97 -0
  24. package/es/editor-viewer/libro-default-viewer.d.ts +14 -0
  25. package/es/editor-viewer/libro-default-viewer.d.ts.map +1 -0
  26. package/es/editor-viewer/libro-default-viewer.js +78 -0
  27. package/es/editor-viewer/module.d.ts.map +1 -1
  28. package/es/editor-viewer/module.js +3 -1
  29. package/es/editor-viewer/protocol.d.ts +2 -0
  30. package/es/editor-viewer/protocol.d.ts.map +1 -1
  31. package/es/editor-viewer/protocol.js +3 -1
  32. package/es/github-link/index.js +2 -2
  33. package/es/image-viewer/open-handler.js +2 -2
  34. package/es/image-viewer/viewer.js +2 -2
  35. package/es/index.d.ts +1 -1
  36. package/es/index.d.ts.map +1 -1
  37. package/es/index.js +1 -1
  38. package/es/index.less +17 -5
  39. package/es/kernel-manager/index.js +2 -2
  40. package/es/lab-app.d.ts.map +1 -1
  41. package/es/lab-app.js +6 -4
  42. package/es/layout/brand/brand.js +2 -2
  43. package/es/layout/container.js +2 -2
  44. package/es/layout/content-bottom-tab-view.js +2 -2
  45. package/es/layout/footer/current-file-footer-view.js +2 -2
  46. package/es/layout/footer/footer-view.js +2 -2
  47. package/es/layout/footer/status-footer-view.js +2 -2
  48. package/es/layout/layout-service.d.ts +2 -1
  49. package/es/layout/layout-service.d.ts.map +1 -1
  50. package/es/layout/layout-service.js +59 -25
  51. package/es/layout/layout.js +3 -4
  52. package/es/layout/main.js +2 -2
  53. package/es/layout/saveable-tab-view.js +2 -2
  54. package/es/layout/side-tab-view.js +2 -2
  55. package/es/module.d.ts.map +1 -1
  56. package/es/module.js +1 -1
  57. package/es/toc/libro-toc-panel-view.js +2 -2
  58. package/es/welcome/entry-point-view.d.ts.map +1 -1
  59. package/es/welcome/entry-point-view.js +4 -4
  60. package/es/welcome/welcome-view.js +2 -2
  61. package/package.json +8 -8
  62. package/src/command/index.ts +4 -0
  63. package/src/{menu/menu-command.ts → command/lab-command.ts} +9 -5
  64. package/src/{menu/menu-contribution.ts → command/lab-menu-contribution.ts} +228 -230
  65. package/src/{menu → command}/module.ts +2 -2
  66. package/src/editor-viewer/code-editor-open-handler.ts +2 -5
  67. package/src/editor-viewer/code-editor-viewer.tsx +7 -0
  68. package/src/editor-viewer/index.less +16 -0
  69. package/src/editor-viewer/libro-default-open-handler.ts +34 -0
  70. package/src/editor-viewer/libro-default-viewer.tsx +60 -0
  71. package/src/editor-viewer/module.ts +8 -1
  72. package/src/editor-viewer/protocol.ts +25 -0
  73. package/src/index.less +17 -5
  74. package/src/index.ts +1 -1
  75. package/src/lab-app.ts +6 -1
  76. package/src/layout/layout-service.ts +25 -3
  77. package/src/module.tsx +1 -1
  78. package/src/welcome/entry-point-view.tsx +2 -2
  79. package/es/menu/index.d.ts +0 -5
  80. package/es/menu/index.d.ts.map +0 -1
  81. package/es/menu/index.js +0 -4
  82. package/es/menu/menu-bar-view.d.ts.map +0 -1
  83. package/es/menu/menu-command.d.ts.map +0 -1
  84. package/es/menu/menu-contribution.d.ts.map +0 -1
  85. package/es/menu/module.d.ts.map +0 -1
  86. package/src/menu/index.ts +0 -4
  87. /package/es/{menu → command}/menu-bar-view.d.ts +0 -0
  88. /package/es/{menu → command}/module.d.ts +0 -0
  89. /package/src/{menu → command}/menu-bar-view.tsx +0 -0
@@ -13,250 +13,251 @@ function _initializerDefineProperty(target, property, descriptor, context) { if
13
13
  function _classCallCheck(instance, Constructor) { if (!(instance instanceof Constructor)) { throw new TypeError("Cannot call a class as a function"); } }
14
14
  function _defineProperties(target, props) { for (var i = 0; i < props.length; i++) { var descriptor = props[i]; descriptor.enumerable = descriptor.enumerable || false; descriptor.configurable = true; if ("value" in descriptor) descriptor.writable = true; Object.defineProperty(target, _toPropertyKey(descriptor.key), descriptor); } }
15
15
  function _createClass(Constructor, protoProps, staticProps) { if (protoProps) _defineProperties(Constructor.prototype, protoProps); if (staticProps) _defineProperties(Constructor, staticProps); Object.defineProperty(Constructor, "prototype", { writable: false }); return Constructor; }
16
- function _toPropertyKey(arg) { var key = _toPrimitive(arg, "string"); return _typeof(key) === "symbol" ? key : String(key); }
17
- function _toPrimitive(input, hint) { if (_typeof(input) !== "object" || input === null) return input; var prim = input[Symbol.toPrimitive]; if (prim !== undefined) { var res = prim.call(input, hint || "default"); if (_typeof(res) !== "object") return res; throw new TypeError("@@toPrimitive must return a primitive value."); } return (hint === "string" ? String : Number)(input); }
16
+ function _toPropertyKey(t) { var i = _toPrimitive(t, "string"); return "symbol" == _typeof(i) ? i : String(i); }
17
+ function _toPrimitive(t, r) { if ("object" != _typeof(t) || !t) return t; var e = t[Symbol.toPrimitive]; if (void 0 !== e) { var i = e.call(t, r || "default"); if ("object" != _typeof(i)) return i; throw new TypeError("@@toPrimitive must return a primitive value."); } return ("string" === r ? String : Number)(t); }
18
18
  function _applyDecoratedDescriptor(target, property, decorators, descriptor, context) { var desc = {}; Object.keys(descriptor).forEach(function (key) { desc[key] = descriptor[key]; }); desc.enumerable = !!desc.enumerable; desc.configurable = !!desc.configurable; if ('value' in desc || desc.initializer) { desc.writable = true; } desc = decorators.slice().reverse().reduce(function (desc, decorator) { return decorator(target, property, desc) || desc; }, desc); if (context && desc.initializer !== void 0) { desc.value = desc.initializer ? desc.initializer.call(context) : void 0; desc.initializer = undefined; } if (desc.initializer === void 0) { Object.defineProperty(target, property, desc); desc = null; } return desc; }
19
19
  function _initializerWarningHelper(descriptor, context) { throw new Error('Decorating class property failed. Please ensure that ' + 'transform-class-properties is enabled and runs after the decorators transform.'); }
20
20
  import { LibroJupyterView, LibroService, NotebookCommands } from '@difizen/libro-jupyter';
21
- import { LibroTerminalView, TerminalManager } from '@difizen/libro-terminal';
21
+ import { TerminalCommands, TerminalManager } from '@difizen/libro-terminal';
22
22
  import { CommandContribution, CommandRegistry, inject, MAIN_MENU_BAR, MenuContribution, singleton, ViewManager } from '@difizen/mana-app';
23
- import { v4 } from 'uuid';
24
23
  import { LayoutService } from "../layout/layout-service.js";
25
- import { LibroLabLayoutSlots } from "../layout/protocol.js";
26
- import { MenuCommands } from "./menu-command.js";
27
- export var HeaderMenus;
28
- (function (_HeaderMenus) {
29
- var FILE = _HeaderMenus.FILE = [].concat(_toConsumableArray(MAIN_MENU_BAR), ['1_file']);
30
- var EDIT = _HeaderMenus.EDIT = [].concat(_toConsumableArray(MAIN_MENU_BAR), ['2_edit']);
31
- var VIEW = _HeaderMenus.VIEW = [].concat(_toConsumableArray(MAIN_MENU_BAR), ['3_view']);
32
- var RUN = _HeaderMenus.RUN = [].concat(_toConsumableArray(MAIN_MENU_BAR), ['4_run']);
33
- var TERMINAL = _HeaderMenus.TERMINAL = [].concat(_toConsumableArray(MAIN_MENU_BAR), ['5_terminal']);
34
- var HELP = _HeaderMenus.HELP = [].concat(_toConsumableArray(MAIN_MENU_BAR), ['6_help']);
35
- })(HeaderMenus || (HeaderMenus = {}));
36
- export var HeaderMenu = (_dec = singleton({
24
+ import { LabCommands } from "./lab-command.js";
25
+ export var LabMenus;
26
+ (function (_LabMenus) {
27
+ var FILE = _LabMenus.FILE = [].concat(_toConsumableArray(MAIN_MENU_BAR), ['1_file']);
28
+ var EDIT = _LabMenus.EDIT = [].concat(_toConsumableArray(MAIN_MENU_BAR), ['2_edit']);
29
+ var VIEW = _LabMenus.VIEW = [].concat(_toConsumableArray(MAIN_MENU_BAR), ['3_view']);
30
+ var RUN = _LabMenus.RUN = [].concat(_toConsumableArray(MAIN_MENU_BAR), ['4_run']);
31
+ var TERMINAL = _LabMenus.TERMINAL = [].concat(_toConsumableArray(MAIN_MENU_BAR), ['5_terminal']);
32
+ var HELP = _LabMenus.HELP = [].concat(_toConsumableArray(MAIN_MENU_BAR), ['6_help']);
33
+ })(LabMenus || (LabMenus = {}));
34
+ export var LabMenu = (_dec = singleton({
37
35
  contrib: [MenuContribution, CommandContribution]
38
36
  }), _dec2 = inject(CommandRegistry), _dec3 = inject(LibroService), _dec4 = inject(LayoutService), _dec5 = inject(TerminalManager), _dec6 = inject(ViewManager), _dec(_class = (_class2 = /*#__PURE__*/function () {
39
- function HeaderMenu() {
40
- _classCallCheck(this, HeaderMenu);
37
+ function LabMenu() {
38
+ _classCallCheck(this, LabMenu);
41
39
  _initializerDefineProperty(this, "commandRegistry", _descriptor, this);
42
40
  _initializerDefineProperty(this, "libroService", _descriptor2, this);
43
41
  _initializerDefineProperty(this, "layoutService", _descriptor3, this);
44
42
  _initializerDefineProperty(this, "terminalManager", _descriptor4, this);
45
43
  _initializerDefineProperty(this, "viewManager", _descriptor5, this);
46
44
  }
47
- _createClass(HeaderMenu, [{
45
+ _createClass(LabMenu, [{
48
46
  key: "registerMenus",
49
47
  value: function registerMenus(menu) {
50
- menu.registerSubmenu(HeaderMenus.FILE, {
48
+ menu.registerSubmenu(LabMenus.FILE, {
51
49
  label: '文件'
52
50
  });
53
- menu.registerSubmenu(HeaderMenus.EDIT, {
51
+ menu.registerSubmenu(LabMenus.EDIT, {
54
52
  label: '编辑'
55
53
  });
56
- menu.registerSubmenu(HeaderMenus.VIEW, {
54
+ menu.registerSubmenu(LabMenus.VIEW, {
57
55
  label: '视图'
58
56
  });
59
- menu.registerSubmenu(HeaderMenus.RUN, {
57
+ menu.registerSubmenu(LabMenus.RUN, {
60
58
  label: '运行'
61
59
  });
62
- menu.registerSubmenu(HeaderMenus.TERMINAL, {
60
+ menu.registerSubmenu(LabMenus.TERMINAL, {
63
61
  label: '终端'
64
62
  });
65
- menu.registerSubmenu(HeaderMenus.HELP, {
63
+ menu.registerSubmenu(LabMenus.HELP, {
66
64
  label: '帮助'
67
65
  });
68
- menu.registerMenuAction(HeaderMenus.TERMINAL, {
69
- id: MenuCommands.OpenTerminal.id,
70
- command: MenuCommands.OpenTerminal.id,
71
- label: MenuCommands.OpenTerminal.label
72
- });
73
- menu.registerMenuAction(HeaderMenus.HELP, {
74
- id: MenuCommands.About.id,
75
- command: MenuCommands.About.id,
76
- label: MenuCommands.About.label
77
- });
78
- menu.registerMenuAction(HeaderMenus.FILE, {
79
- id: MenuCommands.Save.id,
80
- command: MenuCommands.Save.id,
81
- label: MenuCommands.Save.label
82
- });
83
- menu.registerMenuAction(HeaderMenus.FILE, {
84
- id: MenuCommands.CreateFile.id,
85
- command: MenuCommands.CreateFile.id,
86
- label: MenuCommands.CreateFile.label
87
- });
88
- menu.registerMenuAction(HeaderMenus.EDIT, {
89
- id: MenuCommands.UndoCellAction.id,
90
- command: MenuCommands.UndoCellAction.id,
91
- label: MenuCommands.UndoCellAction.label
92
- });
93
- menu.registerMenuAction(HeaderMenus.EDIT, {
94
- id: MenuCommands.RedoCellAction.id,
95
- command: MenuCommands.RedoCellAction.id,
96
- label: MenuCommands.RedoCellAction.label
97
- });
98
- menu.registerMenuAction(HeaderMenus.EDIT, {
99
- id: MenuCommands.CutCell.id,
100
- command: MenuCommands.CutCell.id,
101
- label: MenuCommands.CutCell.label
102
- });
103
- menu.registerMenuAction(HeaderMenus.EDIT, {
104
- id: MenuCommands.CopyCell.id,
105
- command: MenuCommands.CopyCell.id,
106
- label: MenuCommands.CopyCell.label
107
- });
108
- menu.registerMenuAction(HeaderMenus.EDIT, {
109
- id: MenuCommands.PasteCellBelow.id,
110
- command: MenuCommands.PasteCellBelow.id,
111
- label: MenuCommands.PasteCellBelow.label
112
- });
113
- menu.registerMenuAction(HeaderMenus.EDIT, {
114
- id: MenuCommands.PasteCellAbove.id,
115
- command: MenuCommands.PasteCellAbove.id,
116
- label: MenuCommands.PasteCellAbove.label
117
- });
118
- menu.registerMenuAction(HeaderMenus.EDIT, {
119
- id: MenuCommands.PasteAndReplaceCell.id,
120
- command: MenuCommands.PasteAndReplaceCell.id,
121
- label: MenuCommands.PasteAndReplaceCell.label
122
- });
123
- menu.registerMenuAction(HeaderMenus.EDIT, {
124
- id: MenuCommands.DeleteCell.id,
125
- command: MenuCommands.DeleteCell.id,
126
- label: MenuCommands.DeleteCell.label
127
- });
128
- menu.registerMenuAction(HeaderMenus.EDIT, {
129
- id: MenuCommands.SelectAll.id,
130
- command: MenuCommands.SelectAll.id,
131
- label: MenuCommands.SelectAll.label
66
+ menu.registerMenuAction(LabMenus.TERMINAL, {
67
+ id: TerminalCommands['OpenTerminal'].id,
68
+ command: TerminalCommands['OpenTerminal'].id,
69
+ label: TerminalCommands['OpenTerminal'].label
70
+ });
71
+ menu.registerMenuAction(LabMenus.HELP, {
72
+ id: LabCommands.About.id,
73
+ command: LabCommands.About.id,
74
+ label: LabCommands.About.label
75
+ });
76
+ menu.registerMenuAction(LabMenus.FILE, {
77
+ id: LabCommands.Save.id,
78
+ command: LabCommands.Save.id,
79
+ label: LabCommands.Save.label
80
+ });
81
+ menu.registerMenuAction(LabMenus.FILE, {
82
+ id: LabCommands.CreateFile.id,
83
+ command: LabCommands.CreateFile.id,
84
+ label: LabCommands.CreateFile.label
85
+ });
86
+ menu.registerMenuAction(LabMenus.EDIT, {
87
+ id: LabCommands.UndoCellAction.id,
88
+ command: LabCommands.UndoCellAction.id,
89
+ label: LabCommands.UndoCellAction.label
90
+ });
91
+ menu.registerMenuAction(LabMenus.EDIT, {
92
+ id: LabCommands.RedoCellAction.id,
93
+ command: LabCommands.RedoCellAction.id,
94
+ label: LabCommands.RedoCellAction.label
95
+ });
96
+ menu.registerMenuAction(LabMenus.EDIT, {
97
+ id: LabCommands.CutCell.id,
98
+ command: LabCommands.CutCell.id,
99
+ label: LabCommands.CutCell.label
100
+ });
101
+ menu.registerMenuAction(LabMenus.EDIT, {
102
+ id: LabCommands.CopyCell.id,
103
+ command: LabCommands.CopyCell.id,
104
+ label: LabCommands.CopyCell.label
105
+ });
106
+ menu.registerMenuAction(LabMenus.EDIT, {
107
+ id: LabCommands.PasteCellBelow.id,
108
+ command: LabCommands.PasteCellBelow.id,
109
+ label: LabCommands.PasteCellBelow.label
110
+ });
111
+ menu.registerMenuAction(LabMenus.EDIT, {
112
+ id: LabCommands.PasteCellAbove.id,
113
+ command: LabCommands.PasteCellAbove.id,
114
+ label: LabCommands.PasteCellAbove.label
115
+ });
116
+ menu.registerMenuAction(LabMenus.EDIT, {
117
+ id: LabCommands.PasteAndReplaceCell.id,
118
+ command: LabCommands.PasteAndReplaceCell.id,
119
+ label: LabCommands.PasteAndReplaceCell.label
120
+ });
121
+ menu.registerMenuAction(LabMenus.EDIT, {
122
+ id: LabCommands.DeleteCell.id,
123
+ command: LabCommands.DeleteCell.id,
124
+ label: LabCommands.DeleteCell.label
125
+ });
126
+ menu.registerMenuAction(LabMenus.EDIT, {
127
+ id: LabCommands.SelectAll.id,
128
+ command: LabCommands.SelectAll.id,
129
+ label: LabCommands.SelectAll.label
132
130
  });
133
131
  // menu.registerMenuAction(HeaderMenus.EDIT, {
134
- // id: MenuCommands.DeselectAll.id,
135
- // command: MenuCommands.DeselectAll.id,
136
- // label: MenuCommands.DeselectAll.label,
132
+ // id: LabCommands.DeselectAll.id,
133
+ // command: LabCommands.DeselectAll.id,
134
+ // label: LabCommands.DeselectAll.label,
137
135
  // });
138
- menu.registerMenuAction(HeaderMenus.EDIT, {
139
- id: MenuCommands.MoveCellUp.id,
140
- command: MenuCommands.MoveCellUp.id,
141
- label: MenuCommands.MoveCellUp.label
142
- });
143
- menu.registerMenuAction(HeaderMenus.EDIT, {
144
- id: MenuCommands.MoveCellDown.id,
145
- command: MenuCommands.MoveCellDown.id,
146
- label: MenuCommands.MoveCellDown.label
147
- });
148
- menu.registerMenuAction(HeaderMenus.EDIT, {
149
- id: MenuCommands.SplitCellAntCursor.id,
150
- command: MenuCommands.SplitCellAntCursor.id,
151
- label: MenuCommands.SplitCellAntCursor.label
152
- });
153
- menu.registerMenuAction(HeaderMenus.EDIT, {
154
- id: MenuCommands.MergeCells.id,
155
- command: MenuCommands.MergeCells.id,
156
- label: MenuCommands.MergeCells.label
157
- });
158
- menu.registerMenuAction(HeaderMenus.EDIT, {
159
- id: MenuCommands.MergeCellAbove.id,
160
- command: MenuCommands.MergeCellAbove.id,
161
- label: MenuCommands.MergeCellAbove.label
162
- });
163
- menu.registerMenuAction(HeaderMenus.EDIT, {
164
- id: MenuCommands.MergeCellBelow.id,
165
- command: MenuCommands.MergeCellBelow.id,
166
- label: MenuCommands.MergeCellBelow.label
167
- });
168
- menu.registerMenuAction(HeaderMenus.EDIT, {
169
- id: MenuCommands.ClearCellOutput.id,
170
- command: MenuCommands.ClearCellOutput.id,
171
- label: MenuCommands.ClearCellOutput.label
172
- });
173
- menu.registerMenuAction(HeaderMenus.EDIT, {
174
- id: MenuCommands.ClearAllCellOutput.id,
175
- command: MenuCommands.ClearAllCellOutput.id,
176
- label: MenuCommands.ClearAllCellOutput.label
177
- });
178
- menu.registerMenuAction(HeaderMenus.VIEW, {
179
- id: MenuCommands.HideOrShowCellCode.id,
180
- command: MenuCommands.HideOrShowCellCode.id,
181
- label: MenuCommands.HideOrShowCellCode.label
182
- });
183
- menu.registerMenuAction(HeaderMenus.VIEW, {
184
- id: MenuCommands.HideOrShowOutputs.id,
185
- command: MenuCommands.HideOrShowOutputs.id,
186
- label: MenuCommands.HideOrShowOutputs.label
187
- });
188
- menu.registerMenuAction(HeaderMenus.VIEW, {
189
- id: MenuCommands.EnableOutputScrolling.id,
190
- command: MenuCommands.EnableOutputScrolling.id,
191
- label: MenuCommands.EnableOutputScrolling.label
192
- });
193
- menu.registerMenuAction(HeaderMenus.VIEW, {
194
- id: MenuCommands.DisableOutputScrolling.id,
195
- command: MenuCommands.DisableOutputScrolling.id,
196
- label: MenuCommands.DisableOutputScrolling.label
197
- });
198
- menu.registerMenuAction(HeaderMenus.RUN, {
199
- id: MenuCommands.RunCell.id,
200
- command: MenuCommands.RunCell.id,
201
- label: MenuCommands.RunCell.label
202
- });
203
- menu.registerMenuAction(HeaderMenus.RUN, {
204
- id: MenuCommands.RunAllAbove.id,
205
- command: MenuCommands.RunAllAbove.id,
206
- label: MenuCommands.RunAllAbove.label
207
- });
208
- menu.registerMenuAction(HeaderMenus.RUN, {
209
- id: MenuCommands.RunAllBelow.id,
210
- command: MenuCommands.RunAllBelow.id,
211
- label: MenuCommands.RunAllBelow.label
212
- });
213
- menu.registerMenuAction(HeaderMenus.RUN, {
214
- id: MenuCommands.RunAllCells.id,
215
- command: MenuCommands.RunAllCells.id,
216
- label: MenuCommands.RunAllCells.label
217
- });
218
- menu.registerMenuAction(HeaderMenus.RUN, {
219
- id: MenuCommands.RunCellAndSelectNext.id,
220
- command: MenuCommands.RunCellAndSelectNext.id,
221
- label: MenuCommands.RunCellAndSelectNext.label
222
- });
223
- menu.registerMenuAction(HeaderMenus.RUN, {
224
- id: MenuCommands.RunCellAndInsertBelow.id,
225
- command: MenuCommands.RunCellAndInsertBelow.id,
226
- label: MenuCommands.RunCellAndInsertBelow.label
227
- });
228
- menu.registerMenuAction(HeaderMenus.RUN, {
229
- id: MenuCommands.RestartRunAll.id,
230
- command: MenuCommands.RestartRunAll.id,
231
- label: MenuCommands.RestartRunAll.label
232
- });
233
- menu.registerMenuAction(HeaderMenus.RUN, {
234
- id: MenuCommands.RestartAndRunToSelected.id,
235
- command: MenuCommands.RestartAndRunToSelected.id,
236
- label: MenuCommands.RestartAndRunToSelected.label
136
+ menu.registerMenuAction(LabMenus.EDIT, {
137
+ id: LabCommands.MoveCellUp.id,
138
+ command: LabCommands.MoveCellUp.id,
139
+ label: LabCommands.MoveCellUp.label
140
+ });
141
+ menu.registerMenuAction(LabMenus.EDIT, {
142
+ id: LabCommands.MoveCellDown.id,
143
+ command: LabCommands.MoveCellDown.id,
144
+ label: LabCommands.MoveCellDown.label
145
+ });
146
+ menu.registerMenuAction(LabMenus.EDIT, {
147
+ id: LabCommands.SplitCellAntCursor.id,
148
+ command: LabCommands.SplitCellAntCursor.id,
149
+ label: LabCommands.SplitCellAntCursor.label
150
+ });
151
+ menu.registerMenuAction(LabMenus.EDIT, {
152
+ id: LabCommands.MergeCells.id,
153
+ command: LabCommands.MergeCells.id,
154
+ label: LabCommands.MergeCells.label
155
+ });
156
+ menu.registerMenuAction(LabMenus.EDIT, {
157
+ id: LabCommands.MergeCellAbove.id,
158
+ command: LabCommands.MergeCellAbove.id,
159
+ label: LabCommands.MergeCellAbove.label
160
+ });
161
+ menu.registerMenuAction(LabMenus.EDIT, {
162
+ id: LabCommands.MergeCellBelow.id,
163
+ command: LabCommands.MergeCellBelow.id,
164
+ label: LabCommands.MergeCellBelow.label
165
+ });
166
+ menu.registerMenuAction(LabMenus.EDIT, {
167
+ id: LabCommands.ClearCellOutput.id,
168
+ command: LabCommands.ClearCellOutput.id,
169
+ label: LabCommands.ClearCellOutput.label
170
+ });
171
+ menu.registerMenuAction(LabMenus.EDIT, {
172
+ id: LabCommands.ClearAllCellOutput.id,
173
+ command: LabCommands.ClearAllCellOutput.id,
174
+ label: LabCommands.ClearAllCellOutput.label
175
+ });
176
+ menu.registerMenuAction(LabMenus.VIEW, {
177
+ id: LabCommands.HideOrShowCellCode.id,
178
+ command: LabCommands.HideOrShowCellCode.id,
179
+ label: LabCommands.HideOrShowCellCode.label
180
+ });
181
+ menu.registerMenuAction(LabMenus.VIEW, {
182
+ id: LabCommands.HideOrShowOutputs.id,
183
+ command: LabCommands.HideOrShowOutputs.id,
184
+ label: LabCommands.HideOrShowOutputs.label
185
+ });
186
+ menu.registerMenuAction(LabMenus.VIEW, {
187
+ id: LabCommands.EnableOutputScrolling.id,
188
+ command: LabCommands.EnableOutputScrolling.id,
189
+ label: LabCommands.EnableOutputScrolling.label
190
+ });
191
+ menu.registerMenuAction(LabMenus.VIEW, {
192
+ id: LabCommands.DisableOutputScrolling.id,
193
+ command: LabCommands.DisableOutputScrolling.id,
194
+ label: LabCommands.DisableOutputScrolling.label
195
+ });
196
+ menu.registerMenuAction(LabMenus.RUN, {
197
+ id: LabCommands.RunCell.id,
198
+ command: LabCommands.RunCell.id,
199
+ label: LabCommands.RunCell.label
200
+ });
201
+ menu.registerMenuAction(LabMenus.RUN, {
202
+ id: LabCommands.RunAllAbove.id,
203
+ command: LabCommands.RunAllAbove.id,
204
+ label: LabCommands.RunAllAbove.label
205
+ });
206
+ menu.registerMenuAction(LabMenus.RUN, {
207
+ id: LabCommands.RunAllBelow.id,
208
+ command: LabCommands.RunAllBelow.id,
209
+ label: LabCommands.RunAllBelow.label
210
+ });
211
+ menu.registerMenuAction(LabMenus.RUN, {
212
+ id: LabCommands.RunAllCells.id,
213
+ command: LabCommands.RunAllCells.id,
214
+ label: LabCommands.RunAllCells.label
215
+ });
216
+ menu.registerMenuAction(LabMenus.RUN, {
217
+ id: LabCommands.RunCellAndSelectNext.id,
218
+ command: LabCommands.RunCellAndSelectNext.id,
219
+ label: LabCommands.RunCellAndSelectNext.label
220
+ });
221
+ menu.registerMenuAction(LabMenus.RUN, {
222
+ id: LabCommands.RunCellAndInsertBelow.id,
223
+ command: LabCommands.RunCellAndInsertBelow.id,
224
+ label: LabCommands.RunCellAndInsertBelow.label
225
+ });
226
+ menu.registerMenuAction(LabMenus.RUN, {
227
+ id: LabCommands.RestartRunAll.id,
228
+ command: LabCommands.RestartRunAll.id,
229
+ label: LabCommands.RestartRunAll.label
230
+ });
231
+ menu.registerMenuAction(LabMenus.RUN, {
232
+ id: LabCommands.RestartAndRunToSelected.id,
233
+ command: LabCommands.RestartAndRunToSelected.id,
234
+ label: LabCommands.RestartAndRunToSelected.label
237
235
  });
238
236
  }
239
237
  }, {
240
238
  key: "registerCommands",
241
239
  value: function registerCommands(commands) {
242
240
  var _this = this;
243
- commands.registerCommand(MenuCommands.OpenTerminal, {
244
- execute: function execute() {
245
- _this.viewManager.getOrCreateView(LibroTerminalView, {
246
- id: v4()
247
- }).then(function (terminalView) {
248
- _this.layoutService.setAreaVisible(LibroLabLayoutSlots.contentBottom, true);
249
- _this.layoutService.addView(terminalView, {
250
- slot: LibroLabLayoutSlots.contentBottom,
251
- reveal: true
252
- });
253
- return;
254
- }).catch(function () {
255
- //
256
- });
257
- }
258
- });
259
- commands.registerCommand(MenuCommands.About, {
241
+ // commands.registerCommand(LabCommands.OpenTerminal, {
242
+ // execute: () => {
243
+ // this.viewManager
244
+ // .getOrCreateView<LibroTerminalView>(LibroTerminalView, {
245
+ // id: v4(),
246
+ // })
247
+ // .then((terminalView) => {
248
+ // this.layoutService.setAreaVisible(LibroLabLayoutSlots.contentBottom, true);
249
+ // this.layoutService.addView(terminalView, {
250
+ // slot: LibroLabLayoutSlots.contentBottom,
251
+ // reveal: true,
252
+ // });
253
+ // return;
254
+ // })
255
+ // .catch(() => {
256
+ // //
257
+ // });
258
+ // },
259
+ // });
260
+ commands.registerCommand(LabCommands.About, {
260
261
  execute: function () {
261
262
  var _execute = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee() {
262
263
  return _regeneratorRuntime().wrap(function _callee$(_context) {
@@ -273,7 +274,7 @@ export var HeaderMenu = (_dec = singleton({
273
274
  return execute;
274
275
  }()
275
276
  });
276
- commands.registerCommand(MenuCommands.Save, {
277
+ commands.registerCommand(LabCommands.Save, {
277
278
  execute: function () {
278
279
  var _execute2 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee2() {
279
280
  return _regeneratorRuntime().wrap(function _callee2$(_context2) {
@@ -290,7 +291,7 @@ export var HeaderMenu = (_dec = singleton({
290
291
  return execute;
291
292
  }()
292
293
  });
293
- commands.registerCommandWithContext(MenuCommands.UndoCellAction, this, {
294
+ commands.registerCommandWithContext(LabCommands.UndoCellAction, this, {
294
295
  execute: function () {
295
296
  var _execute3 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee3() {
296
297
  return _regeneratorRuntime().wrap(function _callee3$(_context3) {
@@ -318,7 +319,7 @@ export var HeaderMenu = (_dec = singleton({
318
319
  return false;
319
320
  }
320
321
  });
321
- commands.registerCommandWithContext(MenuCommands.RedoCellAction, this, {
322
+ commands.registerCommandWithContext(LabCommands.RedoCellAction, this, {
322
323
  execute: function () {
323
324
  var _execute4 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee4() {
324
325
  return _regeneratorRuntime().wrap(function _callee4$(_context4) {
@@ -346,7 +347,7 @@ export var HeaderMenu = (_dec = singleton({
346
347
  return false;
347
348
  }
348
349
  });
349
- commands.registerCommandWithContext(MenuCommands.CutCell, this, {
350
+ commands.registerCommandWithContext(LabCommands.CutCell, this, {
350
351
  execute: function () {
351
352
  var _execute5 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee5() {
352
353
  return _regeneratorRuntime().wrap(function _callee5$(_context5) {
@@ -374,7 +375,7 @@ export var HeaderMenu = (_dec = singleton({
374
375
  return false;
375
376
  }
376
377
  });
377
- commands.registerCommandWithContext(MenuCommands.CopyCell, this, {
378
+ commands.registerCommandWithContext(LabCommands.CopyCell, this, {
378
379
  execute: function () {
379
380
  var _execute6 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee6() {
380
381
  return _regeneratorRuntime().wrap(function _callee6$(_context6) {
@@ -402,7 +403,7 @@ export var HeaderMenu = (_dec = singleton({
402
403
  return false;
403
404
  }
404
405
  });
405
- commands.registerCommandWithContext(MenuCommands.DeleteCell, this, {
406
+ commands.registerCommandWithContext(LabCommands.DeleteCell, this, {
406
407
  execute: function () {
407
408
  var _execute7 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee7() {
408
409
  return _regeneratorRuntime().wrap(function _callee7$(_context7) {
@@ -430,7 +431,7 @@ export var HeaderMenu = (_dec = singleton({
430
431
  return false;
431
432
  }
432
433
  });
433
- commands.registerCommandWithContext(MenuCommands.PasteCellBelow, this, {
434
+ commands.registerCommandWithContext(LabCommands.PasteCellBelow, this, {
434
435
  execute: function () {
435
436
  var _execute8 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee8() {
436
437
  return _regeneratorRuntime().wrap(function _callee8$(_context8) {
@@ -458,7 +459,7 @@ export var HeaderMenu = (_dec = singleton({
458
459
  return false;
459
460
  }
460
461
  });
461
- commands.registerCommandWithContext(MenuCommands.PasteCellAbove, this, {
462
+ commands.registerCommandWithContext(LabCommands.PasteCellAbove, this, {
462
463
  execute: function () {
463
464
  var _execute9 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee9() {
464
465
  return _regeneratorRuntime().wrap(function _callee9$(_context9) {
@@ -486,7 +487,7 @@ export var HeaderMenu = (_dec = singleton({
486
487
  return false;
487
488
  }
488
489
  });
489
- commands.registerCommandWithContext(MenuCommands.PasteAndReplaceCell, this, {
490
+ commands.registerCommandWithContext(LabCommands.PasteAndReplaceCell, this, {
490
491
  execute: function () {
491
492
  var _execute10 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee10() {
492
493
  return _regeneratorRuntime().wrap(function _callee10$(_context10) {
@@ -514,7 +515,7 @@ export var HeaderMenu = (_dec = singleton({
514
515
  return false;
515
516
  }
516
517
  });
517
- commands.registerCommandWithContext(MenuCommands.SelectAll, this, {
518
+ commands.registerCommandWithContext(LabCommands.SelectAll, this, {
518
519
  execute: function () {
519
520
  var _execute11 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee11() {
520
521
  return _regeneratorRuntime().wrap(function _callee11$(_context11) {
@@ -542,7 +543,7 @@ export var HeaderMenu = (_dec = singleton({
542
543
  return false;
543
544
  }
544
545
  });
545
- // commands.registerCommand(MenuCommands.DeselectAll, {
546
+ // commands.registerCommand(LabCommands.DeselectAll, {
546
547
  // execute: async () => {
547
548
  // if (libro)
548
549
  // this.commandRegistry.executeCommand(
@@ -552,7 +553,7 @@ export var HeaderMenu = (_dec = singleton({
552
553
  // );
553
554
  // },
554
555
  // });
555
- commands.registerCommandWithContext(MenuCommands.MoveCellUp, this, {
556
+ commands.registerCommandWithContext(LabCommands.MoveCellUp, this, {
556
557
  execute: function () {
557
558
  var _execute12 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee12() {
558
559
  return _regeneratorRuntime().wrap(function _callee12$(_context12) {
@@ -580,7 +581,7 @@ export var HeaderMenu = (_dec = singleton({
580
581
  return false;
581
582
  }
582
583
  });
583
- commands.registerCommandWithContext(MenuCommands.MoveCellDown, this, {
584
+ commands.registerCommandWithContext(LabCommands.MoveCellDown, this, {
584
585
  execute: function () {
585
586
  var _execute13 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee13() {
586
587
  return _regeneratorRuntime().wrap(function _callee13$(_context13) {
@@ -608,7 +609,7 @@ export var HeaderMenu = (_dec = singleton({
608
609
  return false;
609
610
  }
610
611
  });
611
- commands.registerCommandWithContext(MenuCommands.SplitCellAntCursor, this, {
612
+ commands.registerCommandWithContext(LabCommands.SplitCellAntCursor, this, {
612
613
  execute: function () {
613
614
  var _execute14 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee14() {
614
615
  return _regeneratorRuntime().wrap(function _callee14$(_context14) {
@@ -636,7 +637,7 @@ export var HeaderMenu = (_dec = singleton({
636
637
  return false;
637
638
  }
638
639
  });
639
- commands.registerCommandWithContext(MenuCommands.MergeCells, this, {
640
+ commands.registerCommandWithContext(LabCommands.MergeCells, this, {
640
641
  execute: function () {
641
642
  var _execute15 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee15() {
642
643
  return _regeneratorRuntime().wrap(function _callee15$(_context15) {
@@ -664,7 +665,7 @@ export var HeaderMenu = (_dec = singleton({
664
665
  return false;
665
666
  }
666
667
  });
667
- commands.registerCommandWithContext(MenuCommands.MergeCellAbove, this, {
668
+ commands.registerCommandWithContext(LabCommands.MergeCellAbove, this, {
668
669
  execute: function () {
669
670
  var _execute16 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee16() {
670
671
  return _regeneratorRuntime().wrap(function _callee16$(_context16) {
@@ -692,7 +693,7 @@ export var HeaderMenu = (_dec = singleton({
692
693
  return false;
693
694
  }
694
695
  });
695
- commands.registerCommandWithContext(MenuCommands.MergeCellBelow, this, {
696
+ commands.registerCommandWithContext(LabCommands.MergeCellBelow, this, {
696
697
  execute: function () {
697
698
  var _execute17 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee17() {
698
699
  return _regeneratorRuntime().wrap(function _callee17$(_context17) {
@@ -720,7 +721,7 @@ export var HeaderMenu = (_dec = singleton({
720
721
  return false;
721
722
  }
722
723
  });
723
- commands.registerCommandWithContext(MenuCommands.ClearCellOutput, this, {
724
+ commands.registerCommandWithContext(LabCommands.ClearCellOutput, this, {
724
725
  execute: function () {
725
726
  var _execute18 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee18() {
726
727
  return _regeneratorRuntime().wrap(function _callee18$(_context18) {
@@ -748,7 +749,7 @@ export var HeaderMenu = (_dec = singleton({
748
749
  return false;
749
750
  }
750
751
  });
751
- commands.registerCommandWithContext(MenuCommands.ClearAllCellOutput, this, {
752
+ commands.registerCommandWithContext(LabCommands.ClearAllCellOutput, this, {
752
753
  execute: function () {
753
754
  var _execute19 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee19() {
754
755
  return _regeneratorRuntime().wrap(function _callee19$(_context19) {
@@ -776,7 +777,7 @@ export var HeaderMenu = (_dec = singleton({
776
777
  return false;
777
778
  }
778
779
  });
779
- commands.registerCommandWithContext(MenuCommands.HideOrShowCellCode, this, {
780
+ commands.registerCommandWithContext(LabCommands.HideOrShowCellCode, this, {
780
781
  execute: function () {
781
782
  var _execute20 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee20() {
782
783
  return _regeneratorRuntime().wrap(function _callee20$(_context20) {
@@ -804,7 +805,7 @@ export var HeaderMenu = (_dec = singleton({
804
805
  return false;
805
806
  }
806
807
  });
807
- commands.registerCommandWithContext(MenuCommands.HideOrShowOutputs, this, {
808
+ commands.registerCommandWithContext(LabCommands.HideOrShowOutputs, this, {
808
809
  execute: function () {
809
810
  var _execute21 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee21() {
810
811
  return _regeneratorRuntime().wrap(function _callee21$(_context21) {
@@ -832,7 +833,7 @@ export var HeaderMenu = (_dec = singleton({
832
833
  return false;
833
834
  }
834
835
  });
835
- commands.registerCommandWithContext(MenuCommands.EnableOutputScrolling, this, {
836
+ commands.registerCommandWithContext(LabCommands.EnableOutputScrolling, this, {
836
837
  execute: function () {
837
838
  var _execute22 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee22() {
838
839
  return _regeneratorRuntime().wrap(function _callee22$(_context22) {
@@ -860,7 +861,7 @@ export var HeaderMenu = (_dec = singleton({
860
861
  return false;
861
862
  }
862
863
  });
863
- commands.registerCommandWithContext(MenuCommands.DisableOutputScrolling, this, {
864
+ commands.registerCommandWithContext(LabCommands.DisableOutputScrolling, this, {
864
865
  execute: function () {
865
866
  var _execute23 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee23() {
866
867
  return _regeneratorRuntime().wrap(function _callee23$(_context23) {
@@ -888,7 +889,7 @@ export var HeaderMenu = (_dec = singleton({
888
889
  return false;
889
890
  }
890
891
  });
891
- commands.registerCommandWithContext(MenuCommands.RunCell, this, {
892
+ commands.registerCommandWithContext(LabCommands.RunCell, this, {
892
893
  execute: function () {
893
894
  var _execute24 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee24(ctx) {
894
895
  return _regeneratorRuntime().wrap(function _callee24$(_context24) {
@@ -916,7 +917,7 @@ export var HeaderMenu = (_dec = singleton({
916
917
  return libro.model.kernelConnection !== undefined && libro.model.kernelConnecting === false;
917
918
  }
918
919
  });
919
- commands.registerCommandWithContext(MenuCommands.RunAllAbove, this, {
920
+ commands.registerCommandWithContext(LabCommands.RunAllAbove, this, {
920
921
  execute: function () {
921
922
  var _execute25 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee25(ctx) {
922
923
  return _regeneratorRuntime().wrap(function _callee25$(_context25) {
@@ -944,7 +945,7 @@ export var HeaderMenu = (_dec = singleton({
944
945
  return libro.model.kernelConnection !== undefined && libro.model.kernelConnecting === false;
945
946
  }
946
947
  });
947
- commands.registerCommandWithContext(MenuCommands.RunAllBelow, this, {
948
+ commands.registerCommandWithContext(LabCommands.RunAllBelow, this, {
948
949
  execute: function () {
949
950
  var _execute26 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee26(ctx) {
950
951
  return _regeneratorRuntime().wrap(function _callee26$(_context26) {
@@ -972,7 +973,7 @@ export var HeaderMenu = (_dec = singleton({
972
973
  return libro.model.kernelConnection !== undefined && libro.model.kernelConnecting === false;
973
974
  }
974
975
  });
975
- commands.registerCommandWithContext(MenuCommands.RunAllCells, this, {
976
+ commands.registerCommandWithContext(LabCommands.RunAllCells, this, {
976
977
  execute: function () {
977
978
  var _execute27 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee27(ctx) {
978
979
  return _regeneratorRuntime().wrap(function _callee27$(_context27) {
@@ -1000,7 +1001,7 @@ export var HeaderMenu = (_dec = singleton({
1000
1001
  return libro.model.kernelConnection !== undefined && libro.model.kernelConnecting === false;
1001
1002
  }
1002
1003
  });
1003
- commands.registerCommandWithContext(MenuCommands.RunCellAndInsertBelow, this, {
1004
+ commands.registerCommandWithContext(LabCommands.RunCellAndInsertBelow, this, {
1004
1005
  execute: function () {
1005
1006
  var _execute28 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee28(ctx) {
1006
1007
  return _regeneratorRuntime().wrap(function _callee28$(_context28) {
@@ -1028,7 +1029,7 @@ export var HeaderMenu = (_dec = singleton({
1028
1029
  return libro.model.kernelConnection !== undefined && libro.model.kernelConnecting === false;
1029
1030
  }
1030
1031
  });
1031
- commands.registerCommandWithContext(MenuCommands.RunCellAndSelectNext, this, {
1032
+ commands.registerCommandWithContext(LabCommands.RunCellAndSelectNext, this, {
1032
1033
  execute: function () {
1033
1034
  var _execute29 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee29(ctx) {
1034
1035
  return _regeneratorRuntime().wrap(function _callee29$(_context29) {
@@ -1056,7 +1057,7 @@ export var HeaderMenu = (_dec = singleton({
1056
1057
  return libro.model.kernelConnection !== undefined && libro.model.kernelConnecting === false;
1057
1058
  }
1058
1059
  });
1059
- commands.registerCommandWithContext(MenuCommands.RestartRunAll, this, {
1060
+ commands.registerCommandWithContext(LabCommands.RestartRunAll, this, {
1060
1061
  execute: function () {
1061
1062
  var _execute30 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee30(ctx) {
1062
1063
  return _regeneratorRuntime().wrap(function _callee30$(_context30) {
@@ -1084,7 +1085,7 @@ export var HeaderMenu = (_dec = singleton({
1084
1085
  return libro.model.kernelConnection !== undefined && libro.model.kernelConnecting === false;
1085
1086
  }
1086
1087
  });
1087
- commands.registerCommandWithContext(MenuCommands.RestartRunAll, this, {
1088
+ commands.registerCommandWithContext(LabCommands.RestartRunAll, this, {
1088
1089
  execute: function () {
1089
1090
  var _execute31 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee31(ctx) {
1090
1091
  return _regeneratorRuntime().wrap(function _callee31$(_context31) {
@@ -1112,7 +1113,7 @@ export var HeaderMenu = (_dec = singleton({
1112
1113
  return libro.model.kernelConnection !== undefined && libro.model.kernelConnecting === false;
1113
1114
  }
1114
1115
  });
1115
- commands.registerCommandWithContext(MenuCommands.RestartAndRunToSelected, this, {
1116
+ commands.registerCommandWithContext(LabCommands.RestartAndRunToSelected, this, {
1116
1117
  execute: function () {
1117
1118
  var _execute32 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee32(ctx) {
1118
1119
  return _regeneratorRuntime().wrap(function _callee32$(_context32) {
@@ -1142,7 +1143,7 @@ export var HeaderMenu = (_dec = singleton({
1142
1143
  });
1143
1144
  }
1144
1145
  }]);
1145
- return HeaderMenu;
1146
+ return LabMenu;
1146
1147
  }(), (_descriptor = _applyDecoratedDescriptor(_class2.prototype, "commandRegistry", [_dec2], {
1147
1148
  configurable: true,
1148
1149
  enumerable: true,