gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/intellihide.js
// handler for when workspace is switched
handler for when workspace is switched
handler for when workspace is switched
_switchWorkspace(shellwm, from, to, direction) {
        this._switchedWorkspace = true;
        if (this._quickShowTimeoutId > 0)
            GLib.source_remove(this._quickShowTimeoutId);
        this._quickShowTimeoutId = 0;
        this._updateDockVisibility();
    }
_switchWorkspace ( shellwm , from , to , direction ) { this . _switchedWorkspace = true ; if ( this . _quickShowTimeoutId > 0 ) GLib . source_remove ( this . _quickShowTimeoutId ) ; this . _quickShowTimeoutId = 0 ; this . _updateDockVisibility ( ) ; }
handler for when workspace is switched
handler for when workspace is switched
// Reset quick show timeout