ui.gadgets.lists: minor tweak to 'select-gadget'
parent
1280ed63fe
commit
8e44e783cf
|
@ -97,7 +97,7 @@ M: list focusable-child* drop t ;
|
||||||
] if ;
|
] if ;
|
||||||
|
|
||||||
: select-gadget ( gadget list -- )
|
: select-gadget ( gadget list -- )
|
||||||
swap over children>> index
|
tuck children>> index
|
||||||
[ swap select-index ] [ drop ] if* ;
|
[ swap select-index ] [ drop ] if* ;
|
||||||
|
|
||||||
: clamp-loc ( point max -- point )
|
: clamp-loc ( point max -- point )
|
||||||
|
|
Loading…
Reference in New Issue