Hi, I'm the dev of the extension.
Ubuntu 13.10 use a dev version of GNOME Shell (3.9) ?
In my last commit I ported the extension to GNOME Shell 3.10 (yesterday). Maybe it fix this bug ?
If I add the support for 3.9 it will not work because in dev version we need to add all sub version in the metadata (3.9.1, 3.9.2, 3.9.*) ...
Hi, I'm the dev of the extension.
Ubuntu 13.10 use a dev version of GNOME Shell (3.9) ?
In my last commit I ported the extension to GNOME Shell 3.10 (yesterday). Maybe it fix this bug ?
If I add the support for 3.9 it will not work because in dev version we need to add all sub version in the metadata (3.9.1, 3.9.2, 3.9.*) ...