optionmenu(3iwidgets) on Linux
The text 845d14bb18db, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody), Debian 2.2 (Potato), Debian 2.1 (Slink) shipped it. The page shows this text now.
Create and manipulate a option menu widget