1 |
|
2 |
|
3 | import { RankedMenu } from '@jupyterlab/ui-components';
|
4 | import { SemanticCommand } from '@jupyterlab/apputils';
|
5 |
|
6 |
|
7 |
|
8 | export class KernelMenu extends RankedMenu {
|
9 | |
10 |
|
11 |
|
12 | constructor(options) {
|
13 | super(options);
|
14 | this.kernelUsers = {
|
15 | changeKernel: new SemanticCommand(),
|
16 | clearWidget: new SemanticCommand(),
|
17 | interruptKernel: new SemanticCommand(),
|
18 | reconnectToKernel: new SemanticCommand(),
|
19 | restartKernel: new SemanticCommand(),
|
20 | shutdownKernel: new SemanticCommand()
|
21 | };
|
22 | }
|
23 | }
|
24 |
|
\ | No newline at end of file |