gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/intellihide.js
// or when search is started the workspaces dock is hidden
or when search is started the workspaces dock is hidden
or when search is started the workspaces dock is hidden
_overviewPageChanged(source, page) {
        let newPage;
        if (page)
            newPage = page;
        else
            newPage = Main.overview.viewSelector._activePage;
        if (this._inOverview) {
            if (newPage == Main.overview.viewSelector._workspacesPage) {
                if (this._settings.get_boolean('dock-fixed')) {
                    this._show();
                } else {
                    let overviewAction = this._settings.get_enum('overview-action');
                    if (overviewAction == OverviewAction.SHOW_FULL) {
                        this._show(true);
                    } else if (overviewAction == OverviewAction.SHOW_PARTIAL) {
                        if (this._dock._dockState == DockState.SHOWING || this._dock._dockState == DockState.SHOWN) {
                            this._hide(true);
                        } else {
                            this._show();
                        }
                    } else if (overviewAction == OverviewAction.HIDE) {
                        this._hide();
                    }
                }
            } else {
                this._hide();
            }
        }
    }
_overviewPageChanged ( source , page ) { let newPage ; if ( page ) newPage = page ; else newPage = Main . overview . viewSelector . _activePage ; if ( this . _inOverview ) { if ( newPage == Main . overview . viewSelector . _workspacesPage ) { if ( this . _settings . get_boolean ( 'dock-fixed' ) ) { this . _show ( ) ; } else { let overviewAction = this . _settings . get_enum ( 'overview-action' ) ; if ( overviewAction == OverviewAction . SHOW_FULL ) { this . _show ( true ) ; } else if ( overviewAction == OverviewAction . SHOW_PARTIAL ) { if ( this . _dock . _dockState == DockState . SHOWING || this . _dock . _dockState == DockState . SHOWN ) { this . _hide ( true ) ; } else { this . _show ( ) ; } } else if ( overviewAction == OverviewAction . HIDE ) { this . _hide ( ) ; } } } else { this . _hide ( ) ; } } }
or when search is started the workspaces dock is hidden
or when search is started the workspaces dock is hidden