Gnome2::Wnck::Pager(3pm) on Linux
The text 4a3bb56e6225, as Debian 6.0 (Squeeze) shipped it.
a pager widget, showing the content of workspaces
The text 4a3bb56e6225, as Debian 6.0 (Squeeze) shipped it.
a pager widget, showing the content of workspaces