From acc52e3c37908b2188c24946fe9ca0dbf1bb24c4 Mon Sep 17 00:00:00 2001
From: Raymundo Cassani <raymundo.cassani@gmail.com>
Date: Sat, 23 May 2020 10:58:23 -0400
Subject: [PATCH] Update desklet if settings change

---
 files/system-monitor-graph@rcassani/desklet.js | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/files/system-monitor-graph@rcassani/desklet.js b/files/system-monitor-graph@rcassani/desklet.js
index 7c5d824..0fc451f 100644
--- a/files/system-monitor-graph@rcassani/desklet.js
+++ b/files/system-monitor-graph@rcassani/desklet.js
@@ -63,6 +63,14 @@ MyDesklet.prototype = {
         this.timeout = Mainloop.timeout_add_seconds(5, Lang.bind(this, this.update));
     },
 
+    on_setting_changed: function() {
+        // update decoration settings
+//        this.refreshDecoration();
+        // settings changed; instant refresh
+        Mainloop.source_remove(this.timeout);
+        this.update();
+   },
+
     on_desklet_removed: function() {
         Mainloop.source_remove(this.timeout);
     }