Fluxter is a workspace pager dockapp, particularly useful with the
Fluxbox window manager. It is largely based on bbpager for Blackbox.
