Interface WmService

interface WmService {
    state: {
        get(): { activeWorkspace: WorkspaceId; focusedWindowId: string | null };
    };
    window: {
        close(id: string): void;
        create(
            opts: { class: string; iframeSrc?: string; title: string },
        ): string | null;
        focus(id: string): void;
        move(id: string, toWorkspace: WorkspaceId): void;
    };
    workspace: {
        list(): { id: WorkspaceId; windowCount: number }[];
        switch(id: WorkspaceId): void;
    };
    destroy(): void;
}