From fe807301fd9d3d9a530f30352281d67571fdc0ac Mon Sep 17 00:00:00 2001
From: Gergely Polonkai <gergely@polonkai.eu>
Date: Thu, 30 Nov 2017 09:38:20 +0100
Subject: [PATCH] [Bugfix] Fix timer source removal

---
 extension.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extension.js b/extension.js
index dff6c10..c4df263 100644
--- 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() {