Scribble HTML renderer: mark internal links with 'extra-internal-attribs'

svn: r17018

original commit: 1dd2109909937385c3783a6e49bb16af09b8f097
This commit is contained in:
Matthew Flatt 2009-11-23 22:56:28 +00:00
parent 3a46471753
commit ff82cc48c3

View File

@ -43,6 +43,8 @@
,@(map (lambda (x) (if (string? x) x (format "~a" x))) body) ,@(map (lambda (x) (if (string? x) x (format "~a" x))) body)
"\n")))) "\n"))))
(define (extra-internal-attribs) null)
(define-runtime-path scribble-css "scribble.css") (define-runtime-path scribble-css "scribble.css")
(define-runtime-path scribble-style-css "scribble-style.css") (define-runtime-path scribble-style-css "scribble-style.css")
(define-runtime-path scribble-prefix-html "scribble-prefix.html") (define-runtime-path scribble-prefix-html "scribble-prefix.html")
@ -359,7 +361,8 @@
`((a ([href ,(dest->url (resolve-get t ri (car (part-tags t))))] `((a ([href ,(dest->url (resolve-get t ri (car (part-tags t))))]
[class ,(if (or (eq? t d) (and show-mine? (memq t toc-chain))) [class ,(if (or (eq? t d) (and show-mine? (memq t toc-chain)))
"tocviewselflink" "tocviewselflink"
"tocviewlink")]) "tocviewlink")]
,@(extra-internal-attribs))
,@(render-content (or (part-title-content t) '("???")) d ri))) ,@(render-content (or (part-title-content t) '("???")) d ri)))
(format-number (collected-info-number (part-collected-info t ri)) (format-number (collected-info-number (part-collected-info t ri))
'(nbsp)))) '(nbsp))))
@ -528,7 +531,8 @@
,(cond ,(cond
[(part? p) "tocsubseclink"] [(part? p) "tocsubseclink"]
[any-parts? "tocsubnonseclink"] [any-parts? "tocsubnonseclink"]
[else "tocsublink"])]) [else "tocsublink"])]
,@(extra-internal-attribs))
,@(render-content ,@(render-content
(if (part? p) (if (part? p)
(or (part-title-content p) (or (part-title-content p)
@ -987,7 +991,8 @@
[else [else
;; Normal link: ;; Normal link:
(dest->url dest)])) (dest->url dest)]))
,@(attribs)] ,@(attribs)
,@(extra-internal-attribs)]
,@(if (empty-content? (element-content e)) ,@(if (empty-content? (element-content e))
(render-content (strip-aux (dest-title dest)) part ri) (render-content (strip-aux (dest-title dest)) part ri)
(render-content (element-content e) part ri)))) (render-content (element-content e) part ri))))