From eb7aad96c07200fabbc146c7472c639af66df94a Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sun, 17 May 2020 20:45:49 -0700 Subject: [PATCH] ui.gadgets.borders: don't convert border-loc to fixnum. --- basis/ui/gadgets/borders/borders.factor | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/basis/ui/gadgets/borders/borders.factor b/basis/ui/gadgets/borders/borders.factor index 3418c89c0c..adb04edd90 100644 --- a/basis/ui/gadgets/borders/borders.factor +++ b/basis/ui/gadgets/borders/borders.factor @@ -40,8 +40,7 @@ M: border pref-dim* [ border-major-dim ] [ border-minor-dim ] [ fill>> ] tri scale ; : border-loc ( border dim -- loc ) - [ [ size>> ] [ align>> ] [ border-major-dim ] tri ] dip - v- v* v+ [ >fixnum ] map ; + [ [ size>> ] [ align>> ] [ border-major-dim ] tri ] dip v- v* v+ ; : border-child-rect ( border -- rect ) dup border-dim [ border-loc ] keep ;