From 71d8ff192fb30e5a24341e2cf1e1aef016d8ed1a Mon Sep 17 00:00:00 2001 From: Jerry Date: Thu, 20 Dec 2018 21:11:28 +0800 Subject: [PATCH] update for 3.30.2 --- activate_gnome@jerryxiao/extension.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/activate_gnome@jerryxiao/extension.js b/activate_gnome@jerryxiao/extension.js index f4faf12..e1ff69d 100644 --- a/activate_gnome@jerryxiao/extension.js +++ b/activate_gnome@jerryxiao/extension.js @@ -20,8 +20,8 @@ function _show() { label_1 = new St.Label({ style_class: 'label-1', text: text1 }); label_2 = new St.Label({ style_class: 'label-2', text: text2 }); let monitor = Main.layoutManager.primaryMonitor; - var h = Math.floor(monitor.height / 20 * 19 - label_2.height); - var w = Math.floor (monitor.width / 15 * 14 - label_2.width); + var h = Math.floor(monitor.height / 18 * 17 - label_2.height); + var w = Math.floor(monitor.width / 10 * 9 - label_2.width); global.stage.add_actor(label_2); label_2.set_position(w, h); global.stage.add_actor(label_1);