Scribble: fix caching of hyperlinked identifiers

This commit is contained in:
Matthew Flatt 2011-03-15 11:07:59 -06:00
parent 64e4b73a9f
commit 343b6fb008
3 changed files with 17 additions and 1 deletions

View File

@ -142,7 +142,8 @@
(vector (syntax-e c)
(module-path-index->taglet (caddr b))
(cadddr b)
(list-ref b 5))))])
(list-ref b 5)
(syntax-property c 'display-string))))])
(or (and key
(let ([b (hash-ref id-element-cache key #f)])
(and b

View File

@ -0,0 +1,10 @@
#lang scribble/manual
@(require (for-label racket/base))
@; Make sure this id's typesetting doesn't affect ' below:
@racket[quote]
@codeblock|{
@itemlist[#:style 'ordered
@item{Eat cookie.}]
}|

View File

@ -0,0 +1,5 @@
quote
@itemlist[#:style 'ordered
@item{Eat cookie.}]