Workaround double enabled bug

In some specific cases, gnome shell can call 'enable' twice for an extension without calling 'disable' in between. This can break monkey patching.

This is a workaround for this, until upstream fixes it.

Fix https://bugs.launchpad.net/bugs/2098102

Merge request reports

Loading