mrEDitor/gnome-shell-extension-scroll-panel
Gnome Shell extension that allows to switch between workspaces and applications by scrolling mouse wheel above the top panel.
JavaScriptMIT
Stargazers
- 3ernhardBOKU University
- AlexWayfer@flant
- Alxe@rticommunity
- bgpat@wantedly
- Deus-Rex
- FaelayisChiang Mai, Thailand
- fahlb
- Flying--Dutchman
- goddrinksjava
- guy176251
- idoleatTaiwan
- ithingo@handwritingzero
- jmbuhrHeidelberg University; HITS gGmbH
- khanzadimahdiSnapp market
- krzemienski@fubotv
- larryorwell
- lens0021South Korea
- mehdisadeghi
- nitipit
- otetswoo
- popcar2
- recepchakan
- RibodouFrance
- RmanoMadrid, Spain
- sophiedkk
- TaylanTatliAfyonkarahisar, Turkey
- Thor77@mam-dev
- virus-onKiev, Ukraine
- xznmr