From 3a158e29b35180a451f4f2399c70e77b994a0c3b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 8 Mar 2007 00:20:34 +0000 Subject: [PATCH] make tiny-control-font slightly bigger under Windows svn: r5750 --- collects/mred/private/gdi.ss | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/mred/private/gdi.ss b/collects/mred/private/gdi.ss index ec3aeb96e4..fd2caf7831 100644 --- a/collects/mred/private/gdi.ss +++ b/collects/mred/private/gdi.ss @@ -268,10 +268,13 @@ [(windows) 0] [(macosx) 2] [else 1])) + (define tiny-delta (case (system-type) + [(windows) 1] + [else 0])) (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)) - (define tiny-control-font (make-object wx:font% (- (wx:get-control-font-size) 2 small-delta) 'system)) + (define tiny-control-font (make-object wx:font% (- (wx:get-control-font-size) tiny-delta small-delta) 'system)) (define view-control-font (if (eq? 'macosx (system-type)) (make-object wx:font% (- (wx:get-control-font-size) 1) 'system) normal-control-font))