gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/intellihide.js
// handler for when panel focus is ungrabbed (GS 38+)
handler for when panel focus is ungrabbed (GS 38+)
handler for when panel focus is ungrabbed ( GS 38 + )
_onPanelFocusUngrabbed(source, event) {
        if (this._settings.get_boolean('ignore-top-panel')) return;
        this._disableIntellihide = false;
        if (this._inOverview) {
            if (Main.overview.viewSelector._activePage == Main.overview.viewSelector._workspacesPage)
                this._show();
        } else {
            this._updateDockVisibility();
        }
    }
_onPanelFocusUngrabbed ( source , event ) { if ( this . _settings . get_boolean ( 'ignore-top-panel' ) ) return ; this . _disableIntellihide = false ; if ( this . _inOverview ) { if ( Main . overview . viewSelector . _activePage == Main . overview . viewSelector . _workspacesPage ) this . _show ( ) ; } else { this . _updateDockVisibility ( ) ; } }
handler for when panel focus is ungrabbed (GS 38+)
handler for when panel focus is ungrabbed ( GS 38 + )