efSrSSKJrJrJrJr "SS\5rSr\S:XaSSK J r \ "\5 gg) zd OptionMenu widget modified to allow dynamic menu reconfiguration and setting of highlightthickness ) OptionMenu_setit StringVarButtonc(\rSrSrSrSrSSjrSrg) DynOptionMenuzeAdd SetMenu and highlightthickness to OptionMenu. Highlightthickness adds space around menu button. cURSS5n[R"XX#/UQ70UD6 X`S'X lUR S5Ulg)Nhighlightthicknesscommand)popr__init__variablegetr )selfmasterrvaluevalueskwargsr s 7/opt/imh/python3.13/lib/python3.13/idlelib/dynoption.pyrDynOptionMenu.__init__ sL#ZZ(TR/SQSS9 g)N)new1new2new3new4znew option set)r)r")dynsrupdate _dyn_option_menu..update0s 19I JrzChange option set)textr ) tkinterr,titlemapintgeometrysplit focus_setrrrpackr) parentr,topxyvarr<buttonr;s @r_dyn_option_menurM!s 6 CII() sFOO%++C04 5DALLAGQW#556MMO C.CGG  &v+, .CHHJK C16 BF KKMr__main__)runN) r(r?rrrrrrMr$idlelib.idle_test.htestrOr*rrrQs>:9%J%4* z+r