From a259ec0ed61e48a8c3cb18446afdb2c2aabb2baa Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 5 Oct 2004 01:47:56 +0000 Subject: [PATCH] . original commit: 08c4f94ddcb288c6852b57daff5a45170f19d6ca --- collects/help/help.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/help/help.ss b/collects/help/help.ss index 3b02a972..13075816 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -41,6 +41,7 @@ It is only loaded when Help Desk is run by itself (outside DrScheme). 'framework:standard-style-list:font-size (lambda (p v) (send size set-value v))) hp))) + (color-prefs:add-background-preferences-panel) (preferences:add-warnings-checkbox-panel) (install-help-browser-preference-panel)