Skip to content
Commit fb6598ac authored by Rui Matos's avatar Rui Matos
Browse files

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
parent 12b00501
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment