From 5d4a0b4f005ac29e49fd84d53228543a8b399300 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sun, 17 May 2020 20:47:22 -0700 Subject: [PATCH] ui.gadgets.tracks: don't convert dims to floats in track-pref-dims-2. --- basis/ui/gadgets/tracks/tracks.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/ui/gadgets/tracks/tracks.factor b/basis/ui/gadgets/tracks/tracks.factor index b7b68fa62d..11ff0fb51d 100644 --- a/basis/ui/gadgets/tracks/tracks.factor +++ b/basis/ui/gadgets/tracks/tracks.factor @@ -45,7 +45,7 @@ M: track layout* ( track -- ) dup track-layout pack-layout ; [ [ children>> pref-dims ] [ normalized-sizes ] bi [ dup { 0 f } member? [ 2drop { 0 0 } ] [ v/n ] if ] 2map - max-dims [ >fixnum ] map + max-dims ] [ gap-dim ] bi v+ ; M: track pref-dim* ( gadget -- dim )