@jupyterlab/mainmenu/lib/help.d.ts

import { Kernel } from '@jupyterlab/services';
import { IRankedMenu, RankedMenu } from '@jupyterlab/ui-components';
import { Widget } from '@lumino/widgets';
import { IMenuExtender } from './tokens';
/**
 * An interface for a Help menu.
 */
export interface IHelpMenu extends IRankedMenu {
    /**
     * A set of kernel users for the help menu.
     * This is used to populate additional help
     * links provided by the kernel of a widget.
     */
    readonly kernelUsers: Set<IHelpMenu.IKernelUser<Widget>>;
}
/**
 * An extensible Help menu for the application.
 */
export declare class HelpMenu extends RankedMenu implements IHelpMenu {
    /**
     * Construct the help menu.
     */
    constructor(options: IRankedMenu.IOptions);
    /**
     * A set of kernel users for the help menu.
     * This is used to populate additional help
     * links provided by the kernel of a widget.
     */
    readonly kernelUsers: Set<IHelpMenu.IKernelUser<Widget>>;
}
/**
 * Namespace for IHelpMenu
 */
export declare namespace IHelpMenu {
    /**
     * Interface for a Kernel user to register itself
     * with the IHelpMenu's semantic extension points.
     */
    interface IKernelUser<T extends Widget> extends IMenuExtender<T> {
        /**
         * A function to get the kernel for a widget.
         */
        getKernel: (widget: T) => Kernel.IKernelConnection | null;
    }
}