steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix rounding error

db4
Slava Pestov 2009-04-15 17:14:10 -05:00
parent 50a6ac2d55
commit bab6e8fe08
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
basis/ui/baseline-alignment/baseline-alignment.factor
View File

@ -46,8 +46,8 @@ TUPLE: gadget-metrics height ascent descent cap-height ;
ascent [ ascent [
cap-height 2 / :> mid-line cap-height 2 / :> mid-line
graphics-height 2 / graphics-height 2 /
[ ascent mid-line - max mid-line + ceiling >integer ] [ ascent mid-line - max mid-line + floor >integer ]
[ descent mid-line + max mid-line - floor >integer ] bi [ descent mid-line + max mid-line - ceiling >integer ] bi
] [ f f ] if ; ] [ f f ] if ;
: (measure-metrics) ( children sizes -- graphics-height ascent descent cap-height ) : (measure-metrics) ( children sizes -- graphics-height ascent descent cap-height )