Jerry/activate_gnome
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

update for 3.30.2

Browse source
This commit is contained in:
JerryXiao 2018-12-20 21:11:28 +08:00
parent 8084a23231
commit 71d8ff192f
Signed by: Jerry
GPG key ID: 9D9CE43650FF2BAA
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
activate_gnome@jerryxiao/extension.js
View file

@ -20,8 +20,8 @@ function _show() {
label_1 = new St.Label({ style_class: 'label-1', text: text1 }); label_1 = new St.Label({ style_class: 'label-1', text: text1 });
label_2 = new St.Label({ style_class: 'label-2', text: text2 }); label_2 = new St.Label({ style_class: 'label-2', text: text2 });
let monitor = Main.layoutManager.primaryMonitor; let monitor = Main.layoutManager.primaryMonitor;
var h = Math.floor(monitor.height / 20 * 19 - label_2.height); var h = Math.floor(monitor.height / 18 * 17 - label_2.height);
var w = Math.floor (monitor.width / 15 * 14 - label_2.width); var w = Math.floor(monitor.width / 10 * 9 - label_2.width);
global.stage.add_actor(label_2); global.stage.add_actor(label_2);
label_2.set_position(w, h); label_2.set_position(w, h);
global.stage.add_actor(label_1); global.stage.add_actor(label_1);