Add to extensions.gnome.org

[danielesegato]

Hi,

I request you to add your extension to

https://extensions.gnome.org/

it's lot easier for any user to install from there

[domi84]

+1

[olebowle]

Hi,
I definitely plan to do so. But before adding it, I have to port the settings to the prefs.js of gnome. Unfortunately I don't have much time. But it is definitely on my list.
BTW: Pull Requests are welcome.

[danielesegato]

Sorry I tried learning a bit about how to develop an extension for gnome shell, I found it too bad documented and I'm not a javascript fun either -- my spare time isn't enough to learn it and then fix it :)

I'll patiently wait someone else to pop in and do so :)

[sojusnik]

+signed

Would be great to see this wonderful app there!