Skip to content

Instantly share code, notes, and snippets.

@Tireg
Created November 4, 2019 22:40
Show Gist options
  • Save Tireg/2af03fa2d602d6112868eb722f2d27f1 to your computer and use it in GitHub Desktop.
Save Tireg/2af03fa2d602d6112868eb722f2d27f1 to your computer and use it in GitHub Desktop.
Temporary fix to be able to run gala against mutter 3.3x+
diff --git a/src/WorkspaceManager.vala b/src/WorkspaceManager.vala
index dd4a09e..e35ae7b 100644
--- a/src/WorkspaceManager.vala
+++ b/src/WorkspaceManager.vala
@@ -135,8 +135,7 @@ namespace Gala
var it = workspaces_marked_removed.iterator ();
while (it.next ()) {
var workspace = it.@get ();
- if (workspace.index () < 0)
- it.remove ();
+ it.remove ();
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment