From 1e26551bb6881f25f41bec41fd19d672ee11a923 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 4 Nov 2008 11:55:51 +0000 Subject: [PATCH] manipulate scribble --redirect option as URL instead of string svn: r12229 original commit: 791a911198a8248255981c304c3d0b32eb606942 --- collects/scribble/html-render.ss | 19 +++++++++++++------ 1 file changed, 13 insertions(+), 6 deletions(-) diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss index 756ec4a1..8b9089c8 100644 --- a/collects/scribble/html-render.ss +++ b/collects/scribble/html-render.ss @@ -847,12 +847,19 @@ `((a [(href ,(if (and ext? external-tag-path) ;; Redirected to search: - (format "~a;tag=~a" - external-tag-path - (base64-encode - (string->bytes/utf-8 - (format "~a" (serialize - (link-element-tag e)))))) + (url->string + (let ([u (string->url external-tag-path)]) + (struct-copy + url + u + [query + (cons (cons 'tag + (bytes->string/utf-8 + (base64-encode + (string->bytes/utf-8 + (format "~a" (serialize + (link-element-tag e))))))) + (url-query u))]))) ;; Normal link: (format "~a~a~a" (from-root (relative->path (dest-path dest))