From 161d49ca394f9be8dbd95495b8dbd615a62924ca Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 5 Feb 2013 12:29:57 -0600
Subject: [PATCH] make #:keywords have different color prefs in DrRacket

closes PR 13492

original commit: 12ebfa2cf4f3bc187fb6d3c1eea80d56a29e64ed
---
 collects/scribble/private/manual-code.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/scribble/private/manual-code.rkt b/collects/scribble/private/manual-code.rkt
index e384ddc0..87402aae 100644
--- a/collects/scribble/private/manual-code.rkt
+++ b/collects/scribble/private/manual-code.rkt
@@ -183,7 +183,7 @@
                          (let ([scribble-style
                                 (case style
                                   [(symbol) symbol-color]
-                                  [(parenthesis) paren-color]
+                                  [(parenthesis hash-colon-keyword) paren-color]
                                   [(constant string) value-color]
                                   [(comment) comment-color]
                                   [else default-color])])