diff options
author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2018-01-19 17:37:20 +0100 |
---|---|---|
committer | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2018-04-13 16:59:51 -0500 |
commit | b99e304f1ee753959091ba2574474ac34dadb909 (patch) | |
tree | 4a851e27e6e6fa697c6e3f31ef790a777928eb37 | |
parent | c29bd46e7a7e37a83849df8b3186c84eb46679ac (diff) | |
download | gnome-shell-b99e304f1ee753959091ba2574474ac34dadb909.tar.gz |
workspaceThumbnail: initialize porthole based on workArea
https://bugzilla.gnome.org/show_bug.cgi?id=792687
-rw-r--r-- | js/ui/workspaceThumbnail.js | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/js/ui/workspaceThumbnail.js b/js/ui/workspaceThumbnail.js index 3dffd1281..c1b4bddc6 100644 --- a/js/ui/workspaceThumbnail.js +++ b/js/ui/workspaceThumbnail.js @@ -275,8 +275,8 @@ var WorkspaceThumbnail = new Lang.Class({ this._createBackground(); - let monitor = Main.layoutManager.primaryMonitor; - this.setPorthole(monitor.x, monitor.y, monitor.width, monitor.height); + let workArea = Main.layoutManager.getWorkAreaForMonitor(this.monitorIndex); + this.setPorthole(workArea.x, workArea.y, workArea.width, workArea.height); let windows = global.get_window_actors().filter(actor => { let win = actor.meta_window; @@ -321,8 +321,6 @@ var WorkspaceThumbnail = new Lang.Class({ }, setPorthole(x, y, width, height) { - this._portholeX = x; - this._portholeY = y; this.actor.set_size(width, height); this._contents.set_position(-x, -y); }, |