Search results for "linux"

An indicator/switcher for your virtual desktops/workspaces (also known as a "pager"), which shows the amount of virtual desktops available, and highlights the current one - all using simple unicode text characters. As a former GNOME user, I was a huge fan of the Workspace Indicator extension...