Waimea Mini Pager is a dockapp pager for the
Waimea window manager. It provides the user with a
good overview of the desktop, and supports both
exact and snapped moving of the viewport, as well
as configurable mouse button bindings. It requires
Waimea 0.1.4 or later.