paginator: paginator (desktop pager dockapp)
paginator:
paginator: paginator is a desktop pager for EWMH-compliant X11 window managers
paginator: that support docked applications (dockapps), such as WindowMaker and
paginator: Fluxbox.
paginator:
paginator: paginator shows a grid of desktop miniatures representing actual
paginator: virtual desktops; each one having window miniatures representing
paginator: actual windows. By manipulating those miniatures with the mouse,
paginator: the user can change the active window, set the desktop of a window,
paginator: and switch between desktops.