Backport support for reorder workspace for elementary/gala (with mutter 3.32, see: https://gist.github.com/Tireg/49b5efc9db4a79232e093452a0d29759)

gistfile1.txt

diff --git a/src/Widgets/MultitaskingView.vala b/src/Widgets/MultitaskingView.vala
index 35a1f28..114d5ef 100644
--- a/src/Widgets/MultitaskingView.vala
+++ b/src/Widgets/MultitaskingView.vala
@@ -92,7 +92,7 @@ namespace Gala
 
 			manager.workspace_added.connect (add_workspace);
 			manager.workspace_removed.connect (remove_workspace);
-#if HAS_MUTTER334
+#if HAS_MUTTER332
 			manager.workspaces_reordered.connect (() => update_positions (false));
 #endif
 			manager.workspace_switched.connect_after ((from, to, direction) => {
diff --git a/vapi/libmutter.vapi b/vapi/libmutter.vapi
index f01c291..416e1dc 100644
--- a/vapi/libmutter.vapi
+++ b/vapi/libmutter.vapi
@@ -1191,7 +1191,7 @@ namespace Meta {
 		public unowned Meta.Workspace get_workspace_by_index (int index);
 		public void override_workspace_layout (Meta.DisplayCorner starting_corner, bool vertical_layout, int n_rows, int n_columns);
 		public void remove_workspace (Meta.Workspace workspace, uint32 timestamp);
-#if HAS_MUTTER334
+#if HAS_MUTTER332
 		public void reorder_workspace (Meta.Workspace workspace, int new_index);
 #endif
 		public int n_workspaces { get; }
@@ -1200,7 +1200,7 @@ namespace Meta {
 		public signal void workspace_added (int object);
 		public signal void workspace_removed (int object);
 		public signal void workspace_switched (int object, int p0, Meta.MotionDirection p1);
-#if HAS_MUTTER334
+#if HAS_MUTTER332
 		public signal void workspaces_reordered ();
 #endif
 	}