Waimea mini pager is a simple virtual desktop pager dockapp for the Waimea
Window Manager. Although it supports simple desktop navigation, its main
purpose is to give the user a feel for where the virtual desktop viewport is
currently positioned.