G-dH/workspace-switcher-manager
GNOME Shell extension that adds workspace switcher options and allows you to customize workspace switcher popup and make it useful.
JavaScriptGPL-3.0
Stargazers
- abhn@mozilla
- alfalcoCuritiba - Parana - Brazil
- aschaefferGermany
- Babbiorsetto
- CleoMenezesJr@doblecheck
- EPOCHvoyager
- Favo02UniversitĂ degli studi di Milano
- federicofavale
- FlameFlowAI
- GithubUser699
- gui-boBrazil
- henriqueffcBrasil
- italoghost
- krzemienski@fubotv
- lediurSan Francisco, Earth
- machitgarhaQazvin, Iran
- MatthewNicholsIberia
- miloumeeloo
- nick-roboUniversity of Sydney
- NiteshK84
- nlpsuge
- one2three4f
- radiorambo
- Thema89DarkPeninsula Project
- Tyr-Wang
- VijayKM01
- xznmr
- Zorono@BrownTurbo