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 View menu for the application.
|
7 | */
|
8 | export class ViewMenu extends RankedMenu {
|
9 | /**
|
10 | * Construct the view menu.
|
11 | */
|
12 | constructor(options) {
|
13 | super(options);
|
14 | this.editorViewers = {
|
15 | toggleLineNumbers: new SemanticCommand(),
|
16 | toggleMatchBrackets: new SemanticCommand(),
|
17 | toggleWordWrap: new SemanticCommand()
|
18 | };
|
19 | }
|
20 | }
|
21 | //# sourceMappingURL=view.js.map |
\ | No newline at end of file |