From bb59496feb35ac4ce9835c4fc6485fdeb3eebac4 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 27 Aug 2002 12:26:24 +0000
Subject: [PATCH] .

original commit: b4d52560889b71d6307f787ac2e4dce655522080
---
 collects/framework/gui-utils.ss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/framework/gui-utils.ss b/collects/framework/gui-utils.ss
index 57f40191..4591bdcd 100644
--- a/collects/framework/gui-utils.ss
+++ b/collects/framework/gui-utils.ss
@@ -531,7 +531,7 @@
     
   ;; label-font : font
   (define label-font (send the-font-list find-or-create-font
-                           12
+                           (if (eq? (system-type) 'windows) 10 12)
                            'system 'normal
                            (if (eq? (system-type) 'macosx) 'bold 'normal)
                            #f))