Rui Matos 840482c750 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
2015-03-02 15:49:49 +01:00
..
2015-02-27 14:46:39 +01:00
2014-12-11 18:48:22 +01:00
2014-04-10 21:08:16 +02:00
2014-01-17 16:34:44 -05:00
2014-10-09 12:17:15 +02:00
2014-10-16 17:17:33 -04:00
2014-10-16 17:17:33 -04:00
2014-10-16 17:17:33 -04:00
2014-10-09 12:17:15 +02:00
2014-04-17 15:15:14 +02:00
2014-10-09 12:17:15 +02:00