# workspaces-bar
GNOME Shell extension that shows workspaces buttons in top panel