From a9e7dfe8fa8717b95f4f451450aa2ac8beab87bc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Wed, 19 Oct 2022 15:13:32 +0200 Subject: [PATCH] data: Remove unused overrides schema The old custom overrides mechanism was superseded by session-specific defaults back in 2018. By now any potential consumers (like gnome-tweaks) should have adjusted, so time to remove it. Part-of: --- data/org.gnome.shell.gschema.xml.in | 45 ----------------------------- 1 file changed, 45 deletions(-) diff --git a/data/org.gnome.shell.gschema.xml.in b/data/org.gnome.shell.gschema.xml.in index 86ad1b24b..f70d4ea4c 100644 --- a/data/org.gnome.shell.gschema.xml.in +++ b/data/org.gnome.shell.gschema.xml.in @@ -316,49 +316,4 @@ [] - - - - - true - Attach modal dialog to the parent window - - This key overrides the key in org.gnome.mutter when running - GNOME Shell. - - - - - true - Enable edge tiling when dropping windows on screen edges - - This key overrides the key in org.gnome.mutter when running GNOME Shell. - - - - - true - Workspaces are managed dynamically - - This key overrides the key in org.gnome.mutter when running GNOME Shell. - - - - - true - Workspaces only on primary monitor - - This key overrides the key in org.gnome.mutter when running GNOME Shell. - - - - - true - Delay focus changes in mouse mode until the pointer stops moving - - This key overrides the key in org.gnome.mutter when running GNOME Shell. - - -