2002-12-19 20:54:52 +01:00
|
|
|
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
|
2003-05-06 19:40:18 +02:00
|
|
|
currently positioned.
|
