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