From e5872a799854ae81ac01925e1892fdea3557623e Mon Sep 17 00:00:00 2001 From: Paul Steckler Date: Mon, 9 Sep 2002 17:26:24 +0000 Subject: [PATCH] no frames for doc.txt original commit: 882ea01e8e1b7c001106c247c1087d136e04b7e6 --- collects/help/private/search.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss index 480bfe6d..a1988499 100644 --- a/collects/help/private/search.ss +++ b/collects/help/private/search.ss @@ -436,11 +436,11 @@ files)))) docs doc-names doc-kinds) (if (= 0 hit-count) - (format (string-constant nothing-found-for) + (format (string-constant plt:hd:nothing-found-for) (apply string-append (cons (format "\"~a\"" (car string-finds)) - (map (lambda (i) (format " ~a \"~a\"" (string-constant and) i)) + (map (lambda (i) (format " ~a \"~a\"" (string-constant plt:hd:and) i)) (cdr string-finds))))) #f))))