The text 46d15eab5e56, as Debian 5.0 (Lenny) shipped it.
Create an option menubutton and its menu
tk_optionMenu(3tk) on Linux now
