From 9f77ab292d9163fba35c1d508791bf7183c94a62 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 3 Jul 2008 08:39:55 +0000 Subject: [PATCH] add numbers to navigation link tooltips svn: r10575 original commit: 3a39b112c9264f59c3e686bb5986d5ad130ccaaa --- collects/scribble/html-render.ss | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss index b189e57d..9aa67e7a 100644 --- a/collects/scribble/html-render.ss +++ b/collects/scribble/html-render.ss @@ -596,9 +596,16 @@ (define (titled-url label x #:title-from [tfrom #f] . more) (define-values (url title) (cond [(part? x) - (values (derive-filename x) - (string-append - "\"" (content->string (part-title-content x)) "\""))] + (values + (derive-filename x) + (string-append + "\"" + (content->string + (append (format-number (collected-info-number + (part-collected-info x ri)) + '(" ")) + (part-title-content x))) + "\""))] [(equal? x "index.html") (values x "the manual top")] [(equal? x "../index.html") (values x "the documentation top")] [(string? x) (values x #f)]