1 open source projects by mrEDitor

Gnome Shell extension that allows to switch between workspaces and applications by scrolling mouse wheel above the top panel.