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

In other words, replace "(...)" with "%28...%29" in links. original commit: 7c0ab55cbccd4e1b257d7b47a3bc2637328280ec
2013-05-14 11:45:34 -06:00 · 2013-05-14 11:45:34 -06:00 · 03c6b006e8
commit 03c6b006e8
parent 378d6ee9c9
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"]