diff options
| -rw-r--r-- | debian/gsettings-desktop-schemas.gsettings-override | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/debian/gsettings-desktop-schemas.gsettings-override b/debian/gsettings-desktop-schemas.gsettings-override index 41da240..7757892 100644 --- a/debian/gsettings-desktop-schemas.gsettings-override +++ b/debian/gsettings-desktop-schemas.gsettings-override @@ -55,3 +55,15 @@ event-sounds=false [org.gnome.desktop.thumbnail-cache] maximum-age=30 + +[org.gnome.desktop.wm.keybindings] +switch-to-workspace-1=['<Alt><Shift>1'] +switch-to-workspace-2=['<Alt><Shift>2'] +switch-to-workspace-3=['<Alt><Shift>3'] +switch-to-workspace-4=['<Alt><Shift>4'] +switch-to-workspace-5=['<Alt><Shift>5'] +switch-to-workspace-6=['<Alt><Shift>6'] +switch-to-workspace-7=['<Alt><Shift>7'] +switch-to-workspace-8=['<Alt><Shift>8'] +switch-to-workspace-9=['<Alt><Shift>9'] +switch-to-workspace-10=['<Alt><Shift>0'] |