File:Workspaces.png

Summary
The small tool that allows one to switch workspaces.