GitHub repository: BrOrlandi/Desktop-Scroller-GNOME-Extension
Primary language: JavaScript
Description: Switch between desktops scrolling at edge of the screen, including in overview. You can configure wich side of the screen the scroller will work.