From 687cff5646c9a2445d921a5eb35ee6cb62789732 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 27 Jul 2000 03:44:55 +0000 Subject: [PATCH] ... original commit: 306ac214d207477f7643cfdffd8ee482f9d22c26 --- collects/help/help.ss | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/collects/help/help.ss b/collects/help/help.ss index a50a81ce..65c1ebaf 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -37,6 +37,14 @@ (define frame-mixin values) (define (user-defined-doc-position x) #f) +(preferences:set-default + 'drscheme:font-size + (send (send (send (make-object text%) + get-style-list) + basic-style) + get-size) + (lambda (x) (and (number? x) (exact? x) (= x (floor x))))) + (define-values/invoke-unit/sig help:help^ (require-relative-library "helpr.ss") #f