gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/intellihide.js
// handler for when window move ends
handler for when window move ends
handler for when window move ends
_grabOpEnd() {
        if (this._settings.get_boolean('intellihide')) {
            if (this._windowChangedTimeout > 0)
                GLib.source_remove(this._windowChangedTimeout);
            this._windowChangedTimeout = 0
            this._updateDockVisibility();
        }
    }
_grabOpEnd ( ) { if ( this . _settings . get_boolean ( 'intellihide' ) ) { if ( this . _windowChangedTimeout > 0 ) GLib . source_remove ( this . _windowChangedTimeout ) ; this . _windowChangedTimeout = 0 this . _updateDockVisibility ( ) ; } }
handler for when window move ends
handler for when window move ends