andrei-a-papou/Desktop-Scroller-GNOME-Extension
Switch between desktops scrolling at edge of the screen, including in overview. You can configure wich side of the screen the scroller will work.
JavaScriptGPL-3.0
Stargazers
No one’s star this repository yet.