gnome-shell-timer icon indicating copy to clipboard operation
gnome-shell-timer copied to clipboard

Published 20 hours ago • verified publisher icon olebowle

Add to extensions.gnome.org

Open danielesegato opened this issue 12 years ago • 4 comments

Hi,

I request you to add your extension to

https://extensions.gnome.org/

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

danielesegato avatar Jun 09 '12 10:06 danielesegato

+1

domi84 avatar Aug 29 '12 06:08 domi84

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.

olebowle avatar Aug 30 '12 19:08 olebowle

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 :)

danielesegato avatar Nov 28 '12 15:11 danielesegato

+signed

Would be great to see this wonderful app there!

sojusnik avatar Feb 18 '14 05:02 sojusnik