Florian Müllner 3d39b32a0b Revert "windowManager: Use new reorder_workspace() API"
It's too easy to break, so revert to the old code until we
figure out a fix.

This reverts commit ff9bb5399b1d22fceaf00c9fc8e0058f24af96cc.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1497
2019-10-08 21:11:19 +02:00
..
2019-08-09 10:58:46 -03:00
2019-09-15 16:02:45 +02:00
2019-09-15 16:02:45 +02:00
2019-09-12 19:09:24 +02:00