Method activateWithFocus

tiling.js:477–489

* Activates this space. Safer alternative to space.workspace.activate_with_focus. Also allows * setting animation on workspaceSwitch. * @param {Boolean} animate

(metaWindow, defaultAnimation = true, paperwmAnimation = false)

     * @param {Boolean} animate
     */
    activateWithFocus(metaWindow, defaultAnimation = true, paperwmAnimation = false) {
        spaces.space_defaultAnimation = defaultAnimation;
        spaces.space_paperwmAnimation = paperwmAnimation;

        if (metaWindow) {
            this.workspace.activate_with_focus(metaWindow, global.get_current_time());
        }
        else {
            this.workspace.activate(global.get_current_time());
        }
        spaces.space_defaultAnimation = true;
        spaces.space_paperwmAnimation = false; // switch to default
    }

    show() {
        if (this._visible)