From 31b017289d5cc4381225d5eb5334c6c31f3885a2 Mon Sep 17 00:00:00 2001 From: Jens Axel Soegaard Date: Sun, 26 Aug 2007 21:43:36 +0000 Subject: [PATCH] Fixed forgotten bug report link in browser-internal-simple mode. svn: r7186 --- collects/help/servlets/home.ss | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/collects/help/servlets/home.ss b/collects/help/servlets/home.ss index 047b1f5f4f..3a39bd8f25 100644 --- a/collects/help/servlets/home.ss +++ b/collects/help/servlets/home.ss @@ -77,8 +77,7 @@ (ul ,(link-stuff url-helpdesk-license "License") ,(link-stuff url-helpdesk-release-notes "Release Notes") ,(link-stuff url-helpdesk-known-bugs "Known Bugs") - #;(li (a ([mzscheme "((dynamic-require '(lib |bug-report.ss| |help|) 'help-desk:report-bug))"]) - (b "Submit a bug report"))) + ,(link-stuff url-helpdesk-patches "Downloadable Patches")) (p) "The PLT software is installed on this machine at" (br) @@ -143,7 +142,7 @@ ("" " " " " ,@(case (helpdesk-platform) - [(internal-browser) + [(internal-browser internal-browser-simple) '((b (a ([mzscheme "((dynamic-require '(lib |bug-report.ss| |help|) 'help-desk:report-bug))"]) (font ([color "forestgreen"]) "Send a bug report")))