DȬ ddZddlmZmZmZmZGddeZdZedk(rddl m Z e eyy) zd OptionMenu widget modified to allow dynamic menu reconfiguration and setting of highlightthickness ) OptionMenu_setit StringVarButtonceZdZdZdZddZy) DynOptionMenuzmAdd SetMenu and highlightthickness to OptionMenu. Highlightthickness adds space around menu button. c|jdd}tj||||g|i|||d<||_|j d|_y)Nhighlightthicknesscommand)popr__init__variablegetr )selfmasterrvaluevalueskwargsr s 8/opt/alt/python312/lib64/python3.12/idlelib/dynoption.pyr zDynOptionMenu.__init__ sT#ZZ(.update0s 19I JrzChange option set)textr ) tkinterr'titlemapintgeometrysplit focus_setrrrpackr) parentr'topxyvarr7buttonr6s @r_dyn_option_menurG!s 6 CII() sFOO%++C04 5DAqLLAGQW#556MMO C.CGG  S&v+, .CHHJK C16 BF KKMr__main__)runN) r$r9rrrrrrGr!idlelib.idle_test.htestrIr%rrrKs>:9%J%4* z+r