gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/dockedWorkspaces.js
// position but overlapped by gnome panel menus or meta popup windows
position but overlapped by gnome panel menus or meta popup windows
position but overlapped by gnome panel menus or meta popup windows
fadeInDock(time, delay) {
        this.actor.opacity = 255;
        this._dock.reactive = true;
        this._shortcutsPanel.setReactiveState(true);
        this._thumbnailsBox.reactive = true;
        for (let i = 0; i < this._thumbnailsBox._thumbnails.length; i++) {
            let thumbnail = this._thumbnailsBox._thumbnails[i];
            thumbnail.setCaptionReactiveState(true);
            thumbnail.setWindowClonesReactiveState(true);
        }
    }
fadeInDock ( time , delay ) { this . actor . opacity = 255 ; this . _dock . reactive = true ; this . _shortcutsPanel . setReactiveState ( true ) ; this . _thumbnailsBox . reactive = true ; for ( let i = 0 ; i < this . _thumbnailsBox . _thumbnails . length ; i ++ ) { let thumbnail = this . _thumbnailsBox . _thumbnails [ i ] ; thumbnail . setCaptionReactiveState ( true ) ; thumbnail . setWindowClonesReactiveState ( true ) ; } }
position but overlapped by gnome panel menus or meta popup windows
position but overlapped by gnome panel menus or meta popup windows
// Return thumbnail windowclones to reactive state // if (!this._workAreaHeight || !this._workAreaWidth) { //     this._refreshThumbnailsOnRegionUpdate = true; //     Main.layoutManager._queueUpdateRegions(); // }