drop 'aux elements from left-margin contents

Removing aux elements for the left-margin contexts makes link
rendering consistent with other hyperlinks.
This commit is contained in:
Matthew Flatt 2015-06-09 07:09:38 -06:00
parent c1df897ab3
commit b812869d3e

View File

@ -580,7 +580,7 @@
"tocviewselflink" "tocviewselflink"
"tocviewlink")] "tocviewlink")]
[data-pltdoc "x"]) [data-pltdoc "x"])
,@(render-content (or (part-title-content t) '("???")) d ri))) ,@(render-content (strip-aux (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))))
(define (toc-item->block t i) (define (toc-item->block t i)
@ -787,8 +787,9 @@
[data-pltdoc "x"]) [data-pltdoc "x"])
,@(render-content ,@(render-content
(if (part? p) (if (part? p)
(or (part-title-content p) (strip-aux
"???") (or (part-title-content p)
"???"))
(if (toc-target2-element? p) (if (toc-target2-element? p)
(toc-target2-element-toc-content p) (toc-target2-element-toc-content p)
(element-content p))) (element-content p)))