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 %)