ui.gadgets.tracks: don't convert dims to floats in track-pref-dims-2.
parent
eb7aad96c0
commit
5d4a0b4f00
|
@ -45,7 +45,7 @@ M: track layout* ( track -- ) dup track-layout pack-layout ;
|
||||||
[
|
[
|
||||||
[ children>> pref-dims ] [ normalized-sizes ] bi
|
[ children>> pref-dims ] [ normalized-sizes ] bi
|
||||||
[ dup { 0 f } member? [ 2drop { 0 0 } ] [ v/n ] if ] 2map
|
[ dup { 0 f } member? [ 2drop { 0 0 } ] [ v/n ] if ] 2map
|
||||||
max-dims [ >fixnum ] map
|
max-dims
|
||||||
] [ gap-dim ] bi v+ ;
|
] [ gap-dim ] bi v+ ;
|
||||||
|
|
||||||
M: track pref-dim* ( gadget -- dim )
|
M: track pref-dim* ( gadget -- dim )
|
||||||
|
|
Loading…
Reference in New Issue