From 45253454c7ef446d1f8dd3f7c7de50edb040847d Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 19 Apr 2011 18:16:55 -0400 Subject: [PATCH] plt-games: Fix minor bug in paint-by-numbers game. --- 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 814e4d4e07..edaf617313 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 (+ row-label-width (* grid-x-size col-label-width)))) - (min-height (inexact->exact (+ col-label-height (* grid-y-size row-label-height)))))] + (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))))))] (inherit min-width min-height) (super-instantiate ())