gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/intellihide.js
// main function called during destroy to restore gnome shell functions
main function called during destroy to restore gnome shell functions
main function called during destroy to restore gnome shell functions
_restoreGnomeShellFunctions() {
        GrabHelper.GrabHelper.prototype.grab = GSFunctions['GrabHelper_grab'];
        GrabHelper.GrabHelper.prototype.ungrab = GSFunctions['GrabHelper_ungrab'];
    }
_restoreGnomeShellFunctions ( ) { GrabHelper . GrabHelper . prototype . grab = GSFunctions [ 'GrabHelper_grab' ] ; GrabHelper . GrabHelper . prototype . ungrab = GSFunctions [ 'GrabHelper_ungrab' ] ; }
main function called during destroy to restore gnome shell functions
main function called during destroy to restore gnome shell functions
// Restore normal GrabHelper grab function // Restore normal GrabHelper ungrab function