Workspace pager dockapp, particularly useful with Fluxbox
