idlelib.dynOptionMenuWidget
index
/usr/local/lib/python2.3/idlelib/dynOptionMenuWidget.py

OptionMenu widget modified to allow dynamic menu reconfiguration
and setting of highlightthickness