gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/intellihide.js
// handler for when window move begins
handler for when window move begins
handler for when window move begins
_grabOpBegin() {
        if (this._settings.get_boolean('intellihide')) {
            let INTERVAL = 100; 
            if (this._windowChangedTimeout > 0)
                GLib.source_remove(this._windowChangedTimeout); 
            this._windowChangedTimeout = GLib.timeout_add(GLib.PRIORITY_DEFAULT, INTERVAL, () => {
                this._updateDockVisibility();
                return true; 
            });
        }
    }
_grabOpBegin ( ) { if ( this . _settings . get_boolean ( 'intellihide' ) ) { let INTERVAL = 100 ; if ( this . _windowChangedTimeout > 0 ) GLib . source_remove ( this . _windowChangedTimeout ) ; this . _windowChangedTimeout = GLib . timeout_add ( GLib . PRIORITY_DEFAULT , INTERVAL , ( ) => { this . _updateDockVisibility ( ) ; return true ; } ) ; } }
handler for when window move begins
handler for when window move begins
// A good compromise between reactivity and efficiency; to be tuned. // Just to be sure // to make the loop continue