jancborchardt/gnome-shell-extensions — pull request #1 by mathematicalcoffee (2012-08-30 04:01:42+00:00)
Title: Fix bug where you can't disable the extension

Hi,

I fixed your bug where you can't disable the extension.

When you connect to an event via `object.connect(signal, callback);` it returns an ID that you can use to disconnect that event later.

So when you disconnect in `disable` you should use the same IDs that were returned when you connected in `enable`, not a new connection ID (which is what you are currently doing).

That's why I've created some global variables `showID` and `hideID`, I store the ID returned from `Overview.connect`, and use it to disconnect in `disable`.

Hope that helps :) Keep up playing with extensions, it's fun!