From ae17f72c1de0461a7b7f9561ed8b680de92e7aa1 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sun, 16 Dec 2007 14:01:25 +0000
Subject: [PATCH] fixed a bug int he way the menu for the documentation links
 was constructed

svn: r8030
---
 collects/drscheme/syncheck.ss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/drscheme/syncheck.ss b/collects/drscheme/syncheck.ss
index c29dd3e186..0292110d67 100644
--- a/collects/drscheme/syncheck.ss
+++ b/collects/drscheme/syncheck.ss
@@ -2394,7 +2394,7 @@ If the namespace does not, they are colored the unbound color.
                               (λ (menu)
                                 (instantiate menu-item% ()
                                   (parent menu)
-                                  (label (format (string-constant cs-view-docs) source-id))
+                                  (label (format (string-constant cs-view-docs) (syntax-e stx)))
                                   (callback
                                    (λ (x y)
                                      (send-url (format "file://~a~a"