The text c2a4a5707bd7, as Debian 1.2 (Rex) shipped it.
Create and manipulate tixPopupMenu widgets
PopMenu(3tix) on Linux now