From 03c6b006e8b3bd1154bbb417b977a09600cf5fc5 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 14 May 2013 11:45:34 -0600 Subject: [PATCH] scribble HTML rendering: unreserved-encode "on this page" links In other words, replace "(...)" with "%28...%29" in links. original commit: 7c0ab55cbccd4e1b257d7b47a3bc2637328280ec --- collects/scribble/html-render.rkt | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/collects/scribble/html-render.rkt b/collects/scribble/html-render.rkt index c27e6e76..7fdd4731 100644 --- a/collects/scribble/html-render.rkt +++ b/collects/scribble/html-render.rkt @@ -639,13 +639,14 @@ `((a ([href ,(format "#~a" - (anchor-name - (add-tag-prefixes - (tag-key (if (part? p) - (car (part-tags/nonempty p)) - (target-element-tag p)) - ri) - prefixes)))] + (uri-unreserved-encode + (anchor-name + (add-tag-prefixes + (tag-key (if (part? p) + (car (part-tags/nonempty p)) + (target-element-tag p)) + ri) + prefixes))))] [class ,(cond [(part? p) "tocsubseclink"]