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 Edit menu for the application.
|
7 | */
|
8 | export class EditMenu extends RankedMenu {
|
9 | /**
|
10 | * Construct the edit menu.
|
11 | */
|
12 | constructor(options) {
|
13 | super(options);
|
14 | this.undoers = {
|
15 | redo: new SemanticCommand(),
|
16 | undo: new SemanticCommand()
|
17 | };
|
18 | this.clearers = {
|
19 | clearAll: new SemanticCommand(),
|
20 | clearCurrent: new SemanticCommand()
|
21 | };
|
22 | this.goToLiners = new SemanticCommand();
|
23 | }
|
24 | }
|
25 | //# sourceMappingURL=edit.js.map |
\ | No newline at end of file |