Workspace pager dockapp, particularly useful with the Fluxbox window manager
