fb28f77c85
With workspace thumbnails, we want to make workspace switching something that happens largely under the users control, so don't switch to newly added workspaces in the overview. https://bugzilla.gnome.org/show_bug.cgi?id=640996