SmileyChris/gnome-shell-extension-workspace-switcher
GNOME Shell extension for viewing and changing the current workspace.
Stars: 0Language: JavaScript
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubGNOME Shell extension for viewing and changing the current workspace.