From 430c32b93061d08bdd6a23cee103dd55756bdffb Mon Sep 17 00:00:00 2001 From: Gergely Polonkai Date: Tue, 29 Sep 2015 15:00:44 +0200 Subject: [PATCH] Adding periodical change --- extension.js | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/extension.js b/extension.js index 7628b7c..43bb972 100644 --- a/extension.js +++ b/extension.js @@ -1,4 +1,6 @@ const Main = imports.ui.main; +const MainLoop = imports.mainloop; +const Lang = imports.lang; const PanelMenu = imports.ui.panelMenu; const St = imports.gi.St; const Clutter = imports.gi.Clutter; @@ -24,6 +26,14 @@ PlanetsExtension.prototype = { y_align: Clutter.ActorAlign.CENTER }); this.panelContainer.add(this.panelLabel); + + this.last_update = 0; + + MainLoop.timeout_add(1, Lang.bind(this, function() { + this.last_update++; + + this.panelLabel.set_text("Update count: " + this.last_update); + })); } };