Gnome2::Wnck::Selector(3pm) on Linux

The text 0301b131aaad, as Debian 7 (Wheezy) shipped it.

a window selector widget, showing the list of windows as a menu

Gnome2::Wnck::Selector(3pm) on Linux now