Class MaterialShellExtension

src/extension.ts:38–283

const oldOverview = Main.overview;

export default class MaterialShellExtension
    extends Extension
    implements WithSignals
{
    static get instance() {
        return Extension.lookupByUUID(
            'material-shell@papyelgringo'
        ) as MaterialShellExtension;
    }

    static get stateManager() {
        return this.instance.stateManager!;
    }

    static get layoutManager() {
        return this.instance.layoutManager!;
    }
    static get tooltipManager() {
        return this.instance.tooltipManager!;
    }
    static get msWindowManager() {
        return this.instance.msWindowManager!;
    }
    static get msWorkspaceManager() {
        return this.instance.msWorkspaceManager!;
    }
    static get msNotificationManager() {
        return this.instance.msNotificationManager!;
    }
    static get msThemeManager() {
        return this.instance.msThemeManager!;
    }
    static get layout() {
        return this.instance.layout!;
    }
    static get hotKeysModule() {
        return this.instance.hotKeysModule!;
    }

    disableInProgress: boolean | undefined;
    emit(name: string, ...params: any[]): void {
        throw new Error('Method not implemented.');
    }
    connect(name: string, callback: (...params: any[]) => void): number {
        throw new Error('Method not implemented.');
    }
    disconnect(id: number): void {
        throw new Error('Method not implemented.');
    }

    closing = false;
    locked = false;
    splashscreenCalled = false;
    layoutManager?: LayoutManager;
    tooltipManager?: TooltipManager;
    msWindowManager?: MsWindowManager;
    msWorkspaceManager?: MsWorkspaceManager;
    msNotificationManager?: MsNotificationManager;