Browsing tag: workspace switcher  

Workspace Grid

A new workspace switcher for GNOME Shell

Dec 27th 2012, 12:46 GMT

WorkspaceBar

A simple workspace switcher for GNOME Shell

Dec 27th 2012, 05:10 GMT

Workspace Switcher WrapAround

An alternative mod for the GNOME 3 workspace switcher

Oct 16th 2012, 07:16 GMT