From bab6e8fe0857d40323883b6785039bb486fa30bf Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Wed, 15 Apr 2009 17:14:10 -0500 Subject: [PATCH] Fix rounding error --- basis/ui/baseline-alignment/baseline-alignment.factor | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/basis/ui/baseline-alignment/baseline-alignment.factor b/basis/ui/baseline-alignment/baseline-alignment.factor index 7cecc09388..f7f7a757f5 100644 --- a/basis/ui/baseline-alignment/baseline-alignment.factor +++ b/basis/ui/baseline-alignment/baseline-alignment.factor @@ -46,8 +46,8 @@ TUPLE: gadget-metrics height ascent descent cap-height ; ascent [ cap-height 2 / :> mid-line graphics-height 2 / - [ ascent mid-line - max mid-line + ceiling >integer ] - [ descent mid-line + max mid-line - floor >integer ] bi + [ ascent mid-line - max mid-line + floor >integer ] + [ descent mid-line + max mid-line - ceiling >integer ] bi ] [ f f ] if ; : (measure-metrics) ( children sizes -- graphics-height ascent descent cap-height )