1 | // Copyright (c) Jupyter Development Team.
|
2 | // Distributed under the terms of the Modified BSD License.
|
3 | import { RankedMenu } from '@jupyterlab/ui-components';
|
4 | import { SemanticCommand } from '@jupyterlab/apputils';
|
5 | /**
|
6 | * An extensible Run menu for the application.
|
7 | */
|
8 | export class RunMenu extends RankedMenu {
|
9 | /**
|
10 | * Construct the run menu.
|
11 | */
|
12 | constructor(options) {
|
13 | super(options);
|
14 | this.codeRunners = {
|
15 | restart: new SemanticCommand(),
|
16 | run: new SemanticCommand(),
|
17 | runAll: new SemanticCommand()
|
18 | };
|
19 | }
|
20 | }
|
21 | //# sourceMappingURL=run.js.map |
\ | No newline at end of file |