From 878223492be1de2105e740a3864803b8bafce179 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 19 Dec 2007 04:25:53 +0000 Subject: [PATCH] made truncated message be red italics svn: r8060 original commit: 5840ec28b3d0facc5604163587b1ca3cd7b030ac --- collects/help/search.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/help/search.ss b/collects/help/search.ss index b6509226..edafda85 100644 --- a/collects/help/search.ss +++ b/collects/help/search.ss @@ -145,7 +145,7 @@ entries))) (if (<= (length entries) limit) '() - (list (italic (format "Search truncated after ~a hits." limit))))))])) + (list (make-element "schemeerror" (list (format "Search truncated after ~a hits." limit)))))))])) (define (limit-length n l) (cond