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 IFileMenu extends IRankedMenu {
|
8 | |
9 |
|
10 |
|
11 | quitEntry: boolean;
|
12 | |
13 |
|
14 |
|
15 | readonly newMenu: IRankedMenu;
|
16 | |
17 |
|
18 |
|
19 | readonly closeAndCleaners: Set<IFileMenu.ICloseAndCleaner<Widget>>;
|
20 | |
21 |
|
22 |
|
23 | readonly consoleCreators: Set<IFileMenu.IConsoleCreator<Widget>>;
|
24 | }
|
25 |
|
26 |
|
27 |
|
28 | export declare class FileMenu extends RankedMenu implements IFileMenu {
|
29 | constructor(options: IRankedMenu.IOptions);
|
30 | /**
|
31 | * The New submenu.
|
32 | */
|
33 | get newMenu(): RankedMenu;
|
34 | /**
|
35 | * The close and cleanup extension point.
|
36 | */
|
37 | readonly closeAndCleaners: Set<IFileMenu.ICloseAndCleaner<Widget>>;
|
38 | /**
|
39 | * A set storing IConsoleCreators for the Kernel menu.
|
40 | */
|
41 | readonly consoleCreators: Set<IFileMenu.IConsoleCreator<Widget>>;
|
42 | /**
|
43 | * Dispose of the resources held by the file menu.
|
44 | */
|
45 | dispose(): void;
|
46 | /**
|
47 | * Option to add a `Quit` entry in File menu
|
48 | */
|
49 | quitEntry: boolean;
|
50 | private _newMenu;
|
51 | }
|
52 | /**
|
53 | * Namespace for IFileMenu
|
54 | */
|
55 | export declare namespace IFileMenu {
|
56 | |
57 |
|
58 |
|
59 |
|
60 | interface ICloseAndCleaner<T extends Widget> extends IMenuExtender<T> {
|
61 | |
62 |
|
63 |
|
64 |
|
65 |
|
66 |
|
67 | closeAndCleanupLabel?: (n: number) => string;
|
68 | |
69 |
|
70 |
|
71 | closeAndCleanup: (widget: T) => Promise<void>;
|
72 | }
|
73 | |
74 |
|
75 |
|
76 | interface IConsoleCreator<T extends Widget> extends IMenuExtender<T> {
|
77 | |
78 |
|
79 |
|
80 |
|
81 |
|
82 |
|
83 | createConsoleLabel?: (n: number) => string;
|
84 | |
85 |
|
86 |
|
87 | createConsole: (widget: T) => Promise<void>;
|
88 | }
|
89 | }
|