mitch/gnome-shell-teatime
1
0
Fork 0
mirror of https://github.com/oleid/gnome-shell-teatime.git synced 2022-04-29 18:53:50 +00:00
Code Issues Projects Releases Wiki Activity

Merge pull request #33 from mkoura/remove_old_countdown

Browse Source 
Remove old countdown when new one is selected.
This commit is contained in:
oleid 2017-06-26 21:38:44 +02:00 committed by GitHub
commit a4fba500e7
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/extension.js
View File

@ -297,6 +297,7 @@ const TeaTime = new Lang.Class({
this.actor.add_actor( this._bGraphicalCountdown this.actor.add_actor( this._bGraphicalCountdown
? this._graphicalTimer : this._textualTimer); ? this._graphicalTimer : this._textualTimer);
if (this._idleTimeout != null) Mainloop.source_remove(this._idleTimeout);
this._idleTimeout = Mainloop.timeout_add_seconds(dt, Lang.bind(this, this._doCountdown)); this._idleTimeout = Mainloop.timeout_add_seconds(dt, Lang.bind(this, this._doCountdown));
}, },
_getRemainingSec: function() { _getRemainingSec: function() {