Revert "ui.gadgets.borders: don't convert border-loc to fixnum."

This reverts commit eb7aad96c0.
master
John Benediktsson 2020-06-15 07:35:14 -07:00
parent d88ed6ce63
commit 0b7122350e
1 changed files with 2 additions and 1 deletions

View File

@ -40,7 +40,8 @@ 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+ ;
[ [ size>> ] [ align>> ] [ border-major-dim ] tri ] dip
v- v* v+ [ >fixnum ] map ;
: border-child-rect ( border -- rect )
dup border-dim [ border-loc ] keep <rect> ;