scribble HTML rendering: unreserved-encode "on this page" links

In other words, replace "(...)" with "%28...%29" in links.
2013-05-14 11:45:34 -06:00 · 2013-05-14 11:45:34 -06:00 · 7c0ab55cbc
commit 7c0ab55cbc
parent 967021ca63
1 changed files with 8 additions and 7 deletions
--- 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"]