From 47db06ac6f4cb036f464795733c577f24bad9987 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 16 May 2011 21:11:43 -0400 Subject: [PATCH] round -> ceiling in paint-by-numbers --- collects/games/paint-by-numbers/gui.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/games/paint-by-numbers/gui.rkt b/collects/games/paint-by-numbers/gui.rkt index edaf617313..cf9069accd 100644 --- a/collects/games/paint-by-numbers/gui.rkt +++ b/collects/games/paint-by-numbers/gui.rkt @@ -671,8 +671,8 @@ paint by numbers. (get-col-numbers))))))] [define/public update-min-spacing (lambda () - (min-width (inexact->exact (round (+ row-label-width (* grid-x-size col-label-width))))) - (min-height (inexact->exact (round (+ col-label-height (* grid-y-size row-label-height))))))] + (min-width (inexact->exact (ceiling (+ row-label-width (* grid-x-size col-label-width))))) + (min-height (inexact->exact (ceiling (+ col-label-height (* grid-y-size row-label-height))))))] (inherit min-width min-height) (super-instantiate ())