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

JupyterLab - Main Menu

import { IRankedMenu, RankedMenu } from '@jupyterlab/ui-components';
/**
 * An interface for a Settings menu.
 */
export interface ISettingsMenu extends IRankedMenu {
}
/**
 * An extensible Settings menu for the application.
 */
export declare class SettingsMenu extends RankedMenu implements ISettingsMenu {
    /**
     * Construct the settings menu.
     */
    constructor(options: IRankedMenu.IOptions);
}