add numbers to navigation link tooltips

svn: r10575 original commit: 3a39b112c9264f59c3e686bb5986d5ad130ccaaa
2008-07-03 08:39:55 +00:00 · 2008-07-03 08:39:55 +00:00 · 9f77ab292d
commit 9f77ab292d
parent 1c8e0de760
1 changed files with 10 additions and 3 deletions
--- 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)]