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.
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.