[gnome-shell/gbsneto/40-stuff: 3/68] data: Override workspace-switch shortcuts

[Georges Basile Stavracas Neto <gbsneto src gnome org>]

commit 06503407733709625ccefdf6187470554f4d00bb
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Jun 13 12:40:06 2020 +0200

    data: Override workspace-switch shortcuts
    
    This should go into gsettings-desktop-schemes proper eventually,
    but for now let's keep everything in this repository.

 data/00_org.gnome.shell.gschema.override | 10 ++++++++++
 1 file changed, 10 insertions(+)
---
diff --git a/data/00_org.gnome.shell.gschema.override b/data/00_org.gnome.shell.gschema.override
index ac732e6701..b34cb74b41 100644
--- a/data/00_org.gnome.shell.gschema.override
+++ b/data/00_org.gnome.shell.gschema.override
@@ -4,3 +4,13 @@ edge-tiling=true
 dynamic-workspaces=true
 workspaces-only-on-primary=true
 focus-change-on-pointer-rest=true
+
+[org.gnome.desktop.wm.keybindings:GNOME]
+switch-to-workspace-up=['<Control><Alt>Up']
+switch-to-workspace-down=['<Control><Alt>Down']
+move-to-workspace-up=['<Control><Shift><Alt>Up']
+move-to-workspace-down=['<Control><Shift><Alt>Down']
+switch-to-workspace-left=['<Super>Page_Up','<Super><Alt>Left','<Control><Alt>Left']
+switch-to-workspace-right=['<Super>Page_Down','<Super><Alt>Right','<Control><Alt>Right']
+move-to-workspace-left=['<Super><Shift>Page_Up','<Super><Shift><Alt>Left','<Control><Shift><Alt>Left']
+move-to-workspace-right=['<Super><Shift>Page_Down','<Super><Shift><Alt>Right','<Control><Shift><Alt>Right']