UNPKG

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