GitHub repository: mrEDitor/gnome-scroll-panel
Primary language: JavaScript
Created: 2015-02-28T19:56:26Z
Description: Enables switching workspaces and applications in Gnome Shell just by scrolling a mousewheel above a corresponding title on the top panel.