From 3d19cd30d1325cd12a8ecd17070d83c978b936ab Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 8 Mar 2007 00:32:12 +0000 Subject: [PATCH] change back size of tiny-control-font for non-Windows, which was accidentally changed in last revision svn: r5751 --- collects/mred/private/gdi.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mred/private/gdi.ss b/collects/mred/private/gdi.ss index fd2caf7831..d7716f8e65 100644 --- a/collects/mred/private/gdi.ss +++ b/collects/mred/private/gdi.ss @@ -270,7 +270,7 @@ [else 1])) (define tiny-delta (case (system-type) [(windows) 1] - [else 0])) + [else 2])) (define normal-control-font (make-object wx:font% (wx:get-control-font-size) 'system)) (define small-control-font (make-object wx:font% (- (wx:get-control-font-size) small-delta) 'system))