From fb57b0df036ed2ef3ff6f7c91b0624c0739b30ff Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 4 Feb 2008 18:12:53 +0000 Subject: [PATCH] removed doc-installed from bug-reports svn: r8527 --- collects/help/bug-report.ss | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/collects/help/bug-report.ss b/collects/help/bug-report.ss index 984597fd62..faddd5015c 100644 --- a/collects/help/bug-report.ss +++ b/collects/help/bug-report.ss @@ -293,12 +293,6 @@ #f #f synthesized-panel)) - - (define docs-installed - (make-big-text - (string-constant bug-report-field-docs-installed) - #t - synthesized-panel)) (define collections (make-big-text @@ -354,9 +348,6 @@ (define (get-environment) (string-append (send environment get-value) - "\n" - "Docs Installed:\n" - (format "~a" (send (send docs-installed get-editor) get-text)) "\n" (format "Human Language: ~a\n" (send human-language get-value)) (format "(current-memory-use) ~a\n" (send memory-use get-value)) @@ -519,7 +510,6 @@ (send memory-use set-value (format "~a" (current-memory-use))) (send (send collections get-editor) auto-wrap #t) - (send (send docs-installed get-editor) auto-wrap #t) ;; Currently, the help-menu is left empty (frame:remove-empty-menus bug-frame) @@ -527,10 +517,6 @@ (align-labels) (switch-to-compose-view) - (send (send docs-installed get-editor) insert - (format "~s" (split-by-directories (find-doc-directories) - (get-doc-search-dirs)))) - (send bug-frame show #t)) (define (ask-yes-or-no title msg parent)