gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/intellihide.js
// handler for when thumbnail windows dragging cancelled
handler for when thumbnail windows dragging cancelled
handler for when thumbnail windows dragging cancelled
_onWindowDragCancelled() {
        if (this._toggledOverviewOnDrag) {
            this._toggledOverviewOnDrag = false;
            if (this._inOverview) {
                if (Main.overview.viewSelector._activePage == 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();
                }
            }
        }
    }
_onWindowDragCancelled ( ) { if ( this . _toggledOverviewOnDrag ) { this . _toggledOverviewOnDrag = false ; if ( this . _inOverview ) { if ( Main . overview . viewSelector . _activePage == 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 ( ) ; } } } }
handler for when thumbnail windows dragging cancelled
handler for when thumbnail windows dragging cancelled