Interface IFocusChangeAutoSaveSettingsArgs

Arguments to initialize FocusSaveTracker.

interface IFocusChangeAutoSaveSettingsArgs {
    app: JupyterFrontEnd<IShell, "desktop" | "mobile">;
    debug?: boolean;
    focusSaveTracker: FocusChangeAutoSaveTracker;
    mainMenu: IMainMenu;
    settingRegistry: ISettingRegistry;
}

Properties

app: JupyterFrontEnd<IShell, "desktop" | "mobile">

Instance of JupyterFrontEnd passed to the extension.

debug?: boolean

Whether to use the debug printer or not.

Focus change tracker to do the saving if the plugin is active.

mainMenu: IMainMenu

Instance of IMainMenu passed to the extension.

settingRegistry: ISettingRegistry

Instance of ISettingRegistry passed to the extension.