[Bugfix] Fix timer source removal

2017-11-30 09:38:20 +01:00 · 2017-11-30 09:38:20 +01:00 · fe807301fd
parent a007a496cd
commit fe807301fd
1 changed files with 1 additions and 1 deletions
--- a/extension.js
+++ b/extension.js
@ -88,7 +88,7 @@ const MinariDateButton = new Lang.Class({
    },

    stop: function() {
-        MainLoop.remove_source(this.timer);
+        MainLoop.source_remove(this.timer);
    },

    _updateDate: function() {