4 months ago 2021-09-28, 02:55
Last commit: [880d807b] Merge pull request #352 from marceloaof/workspace-scroller@ori-add-pt_BR.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.