make #:keywords have different color prefs in DrRacket

closes PR 13492

original commit: 12ebfa2cf4f3bc187fb6d3c1eea80d56a29e64ed
This commit is contained in:
Robby Findler 2013-02-05 12:29:57 -06:00
parent e8da6bd325
commit 161d49ca39

View File

@ -183,7 +183,7 @@
(let ([scribble-style (let ([scribble-style
(case style (case style
[(symbol) symbol-color] [(symbol) symbol-color]
[(parenthesis) paren-color] [(parenthesis hash-colon-keyword) paren-color]
[(constant string) value-color] [(constant string) value-color]
[(comment) comment-color] [(comment) comment-color]
[else default-color])]) [else default-color])])