1 | import { Kernel } from '@jupyterlab/services';
|
2 | import { IRankedMenu, RankedMenu } from '@jupyterlab/ui-components';
|
3 | import { Widget } from '@lumino/widgets';
|
4 | import { IMenuExtender } from './tokens';
|
5 |
|
6 |
|
7 |
|
8 | export interface IHelpMenu extends IRankedMenu {
|
9 | |
10 |
|
11 |
|
12 |
|
13 |
|
14 | readonly kernelUsers: Set<IHelpMenu.IKernelUser<Widget>>;
|
15 | }
|
16 |
|
17 |
|
18 |
|
19 | export declare class HelpMenu extends RankedMenu implements IHelpMenu {
|
20 | |
21 |
|
22 |
|
23 | constructor(options: IRankedMenu.IOptions);
|
24 | /**
|
25 | * A set of kernel users for the help menu.
|
26 | * This is used to populate additional help
|
27 | * links provided by the kernel of a widget.
|
28 | */
|
29 | readonly kernelUsers: Set<IHelpMenu.IKernelUser<Widget>>;
|
30 | }
|
31 | /**
|
32 | * Namespace for IHelpMenu
|
33 | */
|
34 | export declare namespace IHelpMenu {
|
35 | |
36 |
|
37 |
|
38 |
|
39 | interface IKernelUser<T extends Widget> extends IMenuExtender<T> {
|
40 | |
41 |
|
42 |
|
43 | getKernel: (widget: T) => Kernel.IKernelConnection | null;
|
44 | }
|
45 | }
|