1 | import { IRankedMenu, RankedMenu } from '@jupyterlab/ui-components';
|
2 | import { Widget } from '@lumino/widgets';
|
3 | import { IMenuExtender } from './tokens';
|
4 |
|
5 |
|
6 |
|
7 | export interface IViewMenu extends IRankedMenu {
|
8 | |
9 |
|
10 |
|
11 | readonly editorViewers: Set<IViewMenu.IEditorViewer<Widget>>;
|
12 | }
|
13 |
|
14 |
|
15 |
|
16 | export declare class ViewMenu extends RankedMenu implements IViewMenu {
|
17 | |
18 |
|
19 |
|
20 | constructor(options: IRankedMenu.IOptions);
|
21 | /**
|
22 | * A set storing IEditorViewers for the View menu.
|
23 | */
|
24 | readonly editorViewers: Set<IViewMenu.IEditorViewer<Widget>>;
|
25 | /**
|
26 | * Dispose of the resources held by the view menu.
|
27 | */
|
28 | dispose(): void;
|
29 | }
|
30 | /**
|
31 | * Namespace for IViewMenu.
|
32 | */
|
33 | export declare namespace IViewMenu {
|
34 | |
35 |
|
36 |
|
37 |
|
38 | interface IEditorViewer<T extends Widget> extends IMenuExtender<T> {
|
39 | |
40 |
|
41 |
|
42 | toggleLineNumbers?: (widget: T) => void;
|
43 | |
44 |
|
45 |
|
46 | toggleWordWrap?: (widget: T) => void;
|
47 | |
48 |
|
49 |
|
50 | toggleMatchBrackets?: (widget: T) => void;
|
51 | |
52 |
|
53 |
|
54 | lineNumbersToggled?: (widget: T) => boolean;
|
55 | |
56 |
|
57 |
|
58 | wordWrapToggled?: (widget: T) => boolean;
|
59 | |
60 |
|
61 |
|
62 | matchBracketsToggled?: (widget: T) => boolean;
|
63 | }
|
64 | }
|