gergely/gnome-shell-extension-planets
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Adding periodical change

Browse Source
This commit is contained in:
Gergely Polonkai 2015-09-29 15:00:44 +02:00
parent 18670c94e4
commit 430c32b930
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
extension.js
View File

@ -1,4 +1,6 @@
const Main = imports.ui.main; const Main = imports.ui.main;
const MainLoop = imports.mainloop;
const Lang = imports.lang;
const PanelMenu = imports.ui.panelMenu; const PanelMenu = imports.ui.panelMenu;
const St = imports.gi.St; const St = imports.gi.St;
const Clutter = imports.gi.Clutter; const Clutter = imports.gi.Clutter;
@ -24,6 +26,14 @@ PlanetsExtension.prototype = {
y_align: Clutter.ActorAlign.CENTER y_align: Clutter.ActorAlign.CENTER
}); });
this.panelContainer.add(this.panelLabel); 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);
}));
} }
}; };