There seems to exist a gnome-shell extension for pomodoro [1] [2]. It might be worth considering packaging this extension instead of updating the panel applet.
John, would you be in that? Cheers, Michael [1] https://github.com/codito/gnome-shell-pomodoro/tree/master/pomod...@arun.codito.in [2] http://download.fedora.redhat.com/pub/fedora/linux/development/rawhide/source/SRPMS/gnome-shell-extension-pomodoro-0-0.2.git13030cd.fc16.src.rpm -- Why is it that all of the instruments seeking intelligent life in the universe are pointed away from Earth?
signature.asc
Description: OpenPGP digital signature
