main-menu-manager.ts

export const MainMenuManager = Symbol('MainMenuManager');
export interface MainMenuManager {
    /**
     * Call this method if you have changed the content of the main menu (updated a toggle flag, removed/added new groups or menu items)
     * and you want to re-render it from scratch. Works for electron too.
     */
    update(): void;
}