4 days ago 2021-03-02, 16:43
Last commit: [027e8cf7] Multiple extensions: Switch tweener and add German l10n (#319)
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.