Update desklet if settings change

2020-05-23 10:58:23 -04:00 · 2020-05-23 10:58:23 -04:00 · acc52e3c37
commit acc52e3c37
parent b78361b3e9
1 changed files with 8 additions and 0 deletions
--- 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);
    }