Configurable delay when switching workspaces with mouse wheel in the overview
Due to my very sensitive mouse wheel switching workspaces in the overview is very uncomfortable, because a light mouse wheel scroll often switches several workspaces, while I only wanted to switch one. A configurable delay (a setting in dconf for instance), like implemented in the Top Panel Workspace Scroll Extension could easily solve this. Since the code is open source, this should be easy to implement. A delay of 200ms works best for me.