Swap Finger Gestures (3 to 4) This is a Gnome Shell extension. Use 4 fingers swipe instead of 3 to change workspace, bring-up the overview, etc. https://github.com/icedman/swap-finger-gestures-3-4