diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/gsettings-desktop-schemas.gsettings-override | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/debian/gsettings-desktop-schemas.gsettings-override b/debian/gsettings-desktop-schemas.gsettings-override index 0841420..25acd7e 100644 --- a/debian/gsettings-desktop-schemas.gsettings-override +++ b/debian/gsettings-desktop-schemas.gsettings-override @@ -57,3 +57,13 @@ maximum-age=30 [org.gnome.desktop.wm.keybindings] panel-main-menu = ['<Alt>F1'] +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'] |