Comment 53 for bug 892316

Something else to note: Just disabling the extension isn't usually enough to stop the problem, either restarting GNOME Shell via the 'r' command from the run dialog (Alt+F2), or logging out and logging back in again will force the extension to be unloaded properly and it should no longer cause problems.

If you download both patches and apply them both (make sure you apply the first submitted patch first, then the second one...) you should no longer experience any problems with the extension.

I'm somewhat surprised the extension hasn't yet been updated with the patches applied, it's been a while now since we determined that they fixed the problem...