ui.gadgets.scrollers: 4 space indentation.
parent
e8c60ca890
commit
b31415f8a3
|
@ -97,10 +97,10 @@ M: f update-scroller drop (update-scroller) ;
|
|||
|
||||
M: scroller layout*
|
||||
{
|
||||
[ call-next-method ]
|
||||
[ dup follows>> [ update-scroller ] [ >>follows drop ] 2bi ]
|
||||
[ [ x>> ] [ y>> ] bi [ forget-pref-dim ] bi@ ]
|
||||
[ call-next-method ]
|
||||
[ call-next-method ]
|
||||
[ dup follows>> [ update-scroller ] [ >>follows drop ] 2bi ]
|
||||
[ [ x>> ] [ y>> ] bi [ forget-pref-dim ] bi@ ]
|
||||
[ call-next-method ]
|
||||
} cleave ;
|
||||
|
||||
M: scroller focusable-child*
|
||||
|
|
Loading…
Reference in New Issue