Source: https://www.howtogeek.com/howto/30210/learn-these-mouse-tricks-in-gnome-for-a-more-productive-linux-experience/