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

master
John Benediktsson 2020-05-17 20:45:49 -07:00
parent 0b294c5d50
commit eb7aad96c0
1 changed files with 1 additions and 2 deletions

View File

@ -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 <rect> ;