The text d375a57313c7, as Debian 1.2 (Rex) shipped it.
Create and manipulate tixOptionMenu widgets
OptMenu(3tix) on Linux now
