Package Details: gnome-shell-extension-timer-git 20121103-1

Git Clone URL: (read-only, click to copy)
Package Base: gnome-shell-extension-timer-git
Description: A simple timer extension for gnome-shell
Upstream URL:
Licenses: GPL3
Submitter: olebowle
Maintainer: olebowle
Last Packager: olebowle
Votes: 13
Popularity: 0.000000
First Submitted: 2011-08-31 21:46
Last Updated: 2015-06-26 08:10

Latest Comments

olebowle commented on 2011-11-30 21:42

fixed, thanks

Anonymous comment on 2011-11-29 17:08

Some of your setting keys don't match: this._settings.connect('changed::ui-show-persisten', load_settings);
and: this._showPersistentNotifications = this._settings.get_boolean('ui-persistent');

olebowle commented on 2011-10-08 11:57


Anonymous comment on 2011-10-04 18:00

broken by gnome 3.2