From 3a01dc6312be3602476c04ad523db2695ccc4c32 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 14 Jan 2005 15:48:45 +0000 Subject: [PATCH] . original commit: 470dc912acd14694f5427698c6f546535f08e169 --- collects/help/help.ss | 14 +++----------- 1 file changed, 3 insertions(+), 11 deletions(-) diff --git a/collects/help/help.ss b/collects/help/help.ss index 13075816..c350c27a 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -6,20 +6,14 @@ It is only loaded when Help Desk is run by itself (outside DrScheme). |# (module help mzscheme - (require (lib "cmdline.ss") + (require "bug-report.ss" ;; load now to init the preferences early + (lib "cmdline.ss") (lib "class.ss") - (lib "unitsig.ss") (lib "framework.ss" "framework") (lib "external.ss" "browser") - "bug-report.ss" ;; load now to init the preferences early "private/link.ss" - "private/sig.ss" (lib "string-constant.ss" "string-constants") - (lib "mred-sig.ss" "mred") - (lib "mred.ss" "mred") - (lib "tcp-sig.ss" "net") - (lib "plt-installer-sig.ss" "setup") - (lib "plt-installer.ss" "setup")) + (lib "mred.ss" "mred")) (command-line "help-desk" @@ -58,8 +52,6 @@ It is only loaded when Help Desk is run by itself (outside DrScheme). #f)) browser-frame))) - (define-values/invoke-unit/sig gui^ help-desk@ #f setup:plt-installer^ mred^ net:tcp^) - (preferences:read) (new-help-desk))