From 840482c7504df5bd2b06f1d39dc9d117a6f62c98 Mon Sep 17 00:00:00 2001
From: Rui Matos <tiagomatos@gmail.com>
Date: Wed, 4 Feb 2015 15:35:34 +0100
Subject: [PATCH] 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 file changed, 1 insertion(+)

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index ba3a1204f..e7a3a8c2d 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++) {