The source project of this merge request has been removed.
Add the meta_workspace_manager_reorder_workspace function
Fixes #659 (closed).
Adds a meta_workspace_manager_reorder_workspace
to reorder a workspace to a different index. This is mostly a port from the Deepin WM's code:
https://cr.wh-redirect.deepin.cn/plugins/gitiles/deepin-mutter/+/maintian/15.5pro/src/core/screen.c#1208.
This could be useful for functionality like reordering workspaces in the UI or e.g in GNOME Shell. We are also planning on using this in elementary OS WM. See https://github.com/elementary/gala and https://github.com/elementary/gala/pull/464