From 68a2d95b724121e0a203e35bc312dcbc7bd13c7f Mon Sep 17 00:00:00 2001 From: Ben Reaves Date: Sun, 1 Mar 2020 18:38:33 -0600 Subject: [PATCH] - Added removal of workspace left and right shortcuts for pop!_os, workspaces move up and down so the hotkeys go there now --- setup.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/setup.py b/setup.py index 52b2595..a96634a 100755 --- a/setup.py +++ b/setup.py @@ -63,6 +63,8 @@ def setShortcuts(): cmdline("gsettings set org.gnome.desktop.wm.keybindings panel-main-menu \"['Space','Space']\"") cmdline("gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-up \"['Up','Left']\"") cmdline("gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-down \"['Down','Right']\"") + cmdline("gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-left ['']") + cmdline("gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-right ['']") elif distro == "elementaryos" and dename == "gnome": cmdline("gsettings set org.gnome.desktop.wm.keybindings show-desktop \"['d','Down']\"") cmdline("gsettings set org.gnome.desktop.wm.keybindings toggle-maximized \"['F10','Up']\"")