Created
May 21, 2019 20:57
-
-
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
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--- ./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