From c9a24afeffa5b994615e96669ac3987a60fc9e95 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 21 May 2002 16:56:27 +0000 Subject: [PATCH] .. original commit: d26f2888e650ef46ad496c6aafce62956f5b1204 --- collects/help/help.ss | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/help/help.ss b/collects/help/help.ss index 2a0776c8..86900903 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -19,7 +19,10 @@ (lib "mred-sig.ss" "mred") (lib "mred.ss" "mred")) - (preferences:add-general-panel) + (preferences:add-editor-checkbox-panel) + (preferences:add-misc-checkbox-panel) + ;; don't call preferences:add-scheme-checkbox-panel + ;; here since those prefs don't really apply to Help Desk (add-proxy-prefs-panel) (define (frame-mixin %)