-
Florian Müllner authored
MetaWorkspaceManager gained the ability to reorder workspaces, so make sure to pick up the new order when that happens. GNOME/gnome-shell#1497
6205d5eb
MetaWorkspaceManager gained the ability to reorder workspaces, so make sure to pick up the new order when that happens. GNOME/gnome-shell#1497