set width of OptionMenu widget. Fighted with th composition manager (still struggling)