Method pushModal

src/manager/msFocusManager.ts:117–127

(
        actor: Clutter.Actor,
        options?: {
            timestamp?: number;
            options?: any;
            actionMode?: Shell.ActionMode;
        }
    )

    }

    pushModal(
        actor: Clutter.Actor,
        options?: {
            timestamp?: number;
            options?: any;
            actionMode?: Shell.ActionMode;
        }
    ) {
        const grab = Main.pushModal(actor, options);
        this.actorGrabMap.set(actor, grab);
    }

    popModal(actor: Clutter.Actor) {
        const grab = this.actorGrabMap.get(actor);