diff --git a/collects/help/help.ss b/collects/help/help.ss index 86900903..c52aa0eb 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -20,7 +20,7 @@ (lib "mred.ss" "mred")) (preferences:add-editor-checkbox-panel) - (preferences:add-misc-checkbox-panel) + (preferences:add-warnings-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)