Skip to content

Instantly share code, notes, and snippets.

@cattaka
Created May 21, 2019 20:57
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save cattaka/ba223b442d03b3de2c8445f59f1de52b to your computer and use it in GitHub Desktop.
Save cattaka/ba223b442d03b3de2c8445f59f1de52b to your computer and use it in GitHub Desktop.
Patch Gnome 3.30 for Workspace-Gridhttps://medium.com/@hkdb/patch-gnome-3-30-for-workspace-grid-1ee8b1dd92f9
--- ./mutter-3.30.2_orig/src/core/meta-workspace-manager.c 2019-05-22 05:46:37.667434418 +0900
+++ ./mutter-3.30.2/src/core/meta-workspace-manager.c 2019-05-22 05:46:46.859495121 +0900
@@ -200,6 +200,8 @@ meta_workspace_manager_new (MetaDisplay
* variable values in update_num_workspaces ()
* This can be overriden using _NET_DESKTOP_LAYOUT in
* meta_x11_display_new (), if it's specified */
+ workspace_manager->workspace_layout_overridden = FALSE;
+
meta_workspace_manager_update_workspace_layout (workspace_manager,
META_DISPLAY_TOPLEFT,
FALSE,
@@ -502,7 +504,7 @@ meta_workspace_manager_override_workspac
n_rows,
n_columns);
- workspace_manager->workspace_layout_overridden = TRUE;
+ workspace_manager->workspace_layout_overridden = FALSE;
}
#ifdef WITH_VERBOSE_MODE
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment