[gnome-shell/gnome-3-14] WorkspacesDisplay: update the primary monitor index too
- From: Rui Matos <rtcm src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/gnome-3-14] WorkspacesDisplay: update the primary monitor index too
- Date: Mon, 2 Mar 2015 14:59:06 +0000 (UTC)
commit 840482c7504df5bd2b06f1d39dc9d117a6f62c98
Author: Rui Matos <tiagomatos gmail com>
Date: Wed Feb 4 15:35:34 2015 +0100
WorkspacesDisplay: update the primary monitor index too
The primary monitor index might change so we need to update it too.
https://bugzilla.gnome.org/show_bug.cgi?id=743993
js/ui/workspacesView.js | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index ba3a120..e7a3a8c 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -538,6 +538,7 @@ const WorkspacesDisplay = new Lang.Class({
for (let i = 0; i < this._workspacesViews.length; i++)
this._workspacesViews[i].destroy();
+ this._primaryIndex = Main.layoutManager.primaryIndex;
this._workspacesViews = [];
let monitors = Main.layoutManager.monitors;
for (let i = 0; i < monitors.length; i++) {
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]