3 weeks ago 2019-11-23, 15:58 UTC
Last commit:  workspace-scroller@ori: Update da.po
Switch workspaces using mouse scroll at screen edges.
Extension enables you to quickly switch between workspaces. This is an alternative to Desktop Scroller but more customizable. Also it has no visual indication.