[gnome-shell] WorkspacesDisplay: update the primary monitor index too

[Rui Matos <rtcm src gnome org>]

commit fb6598ac10c5d9d9e6e0214ea977c8fb558644a4
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 1e08e24..a2b6bd4 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -536,6 +536,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++) {