gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/intellihide.js
// Called during init to override/extend gnome shell functions
Called during init to override/extend gnome shell functions
Called during init to override / extend gnome shell functions
_overrideGnomeShellFunctions() {
        GSFunctions['GrabHelper_grab'] = GrabHelper.GrabHelper.prototype.grab;
        GrabHelper.GrabHelper.prototype.grab = function(params) {
            let ret = GSFunctions['GrabHelper_grab'].call(this, params);
            if (ret)
                this.emit('focus-grabbed');
            return ret;
        };
        GSFunctions['GrabHelper_ungrab'] = GrabHelper.GrabHelper.prototype.ungrab;
        GrabHelper.GrabHelper.prototype.ungrab = function(params) {
            let ret = GSFunctions['GrabHelper_ungrab'].call(this, params);
            this.emit('focus-ungrabbed');
            return ret;
        };
        Signals.addSignalMethods(GrabHelper.GrabHelper.prototype);
    }
_overrideGnomeShellFunctions ( ) { GSFunctions [ 'GrabHelper_grab' ] = GrabHelper . GrabHelper . prototype . grab ; GrabHelper . GrabHelper . prototype . grab = function ( params ) { let ret = GSFunctions [ 'GrabHelper_grab' ] . call ( this , params ) ; if ( ret ) this . emit ( 'focus-grabbed' ) ; return ret ; } ; GSFunctions [ 'GrabHelper_ungrab' ] = GrabHelper . GrabHelper . prototype . ungrab ; GrabHelper . GrabHelper . prototype . ungrab = function ( params ) { let ret = GSFunctions [ 'GrabHelper_ungrab' ] . call ( this , params ) ; this . emit ( 'focus-ungrabbed' ) ; return ret ; } ; Signals . addSignalMethods ( GrabHelper . GrabHelper . prototype ) ; }
Called during init to override/extend gnome shell functions
Called during init to override / extend gnome shell functions
// Extend the GrabHelper grab function to emit a signal when focus is grabbed // Extend the GrabHelper ungrab function to emit a signal when focus is ungrabbed