From 5747d6c575a258a0ed0f91f4eb52b1a8337ffb10 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 15 Mar 2011 11:07:59 -0600 Subject: [PATCH] Scribble: fix caching of hyperlinked identifiers original commit: 343b6fb00813b5d0c04ca40f7794dc5ad714280e --- collects/scribble/racket.rkt | 3 ++- collects/tests/scribble/docs/codeblock-quote.scrbl | 10 ++++++++++ collects/tests/scribble/docs/codeblock-quote.txt | 5 +++++ 3 files changed, 17 insertions(+), 1 deletion(-) create mode 100644 collects/tests/scribble/docs/codeblock-quote.scrbl create mode 100644 collects/tests/scribble/docs/codeblock-quote.txt diff --git a/collects/scribble/racket.rkt b/collects/scribble/racket.rkt index 9bdcb700..3a10f057 100644 --- a/collects/scribble/racket.rkt +++ b/collects/scribble/racket.rkt @@ -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 diff --git a/collects/tests/scribble/docs/codeblock-quote.scrbl b/collects/tests/scribble/docs/codeblock-quote.scrbl new file mode 100644 index 00000000..81a18266 --- /dev/null +++ b/collects/tests/scribble/docs/codeblock-quote.scrbl @@ -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.}] + }| diff --git a/collects/tests/scribble/docs/codeblock-quote.txt b/collects/tests/scribble/docs/codeblock-quote.txt new file mode 100644 index 00000000..68de5714 --- /dev/null +++ b/collects/tests/scribble/docs/codeblock-quote.txt @@ -0,0 +1,5 @@ + +quote + + @itemlist[#:style 'ordered + @item{Eat cookie.}] \ No newline at end of file