From 99ac521841d6445b7133dfa6013ff12a7ea702b1 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Thu, 4 Jun 2009 13:41:48 +0000
Subject: [PATCH] section char, Latex macro that can be redefined to disable
 color

svn: r15076
---
 collects/scribble/latex-render.ss | 1 +
 collects/scribble/scribble.tex    | 6 ++++--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/collects/scribble/latex-render.ss b/collects/scribble/latex-render.ss
index c77925e760..714787b1b4 100644
--- a/collects/scribble/latex-render.ss
+++ b/collects/scribble/latex-render.ss
@@ -618,6 +618,7 @@
                             [(#\☻) "$\\blacksmiley$"]
                             [(#\☹) "$\\frownie$"]
                             [(#\à) "\\`{a}"]
+                            [(#\uA7) "\\S"]
                             [else c])
                           c)])))
                 (loop (add1 i)))))))
diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex
index 43cba6848e..6edf199116 100644
--- a/collects/scribble/scribble.tex
+++ b/collects/scribble/scribble.tex
@@ -11,7 +11,9 @@
 \usepackage[usenames,dvipsnames]{color}
 \hypersetup{bookmarks=true,bookmarksopen=true,bookmarksnumbered=true}
 
-\newcommand{\inColor}[2]{{\Scribtexttt{\color{#1}{#2}}}}
+\newcommand{\SColorize}[2]{\color{#1}{#2}}
+
+\newcommand{\inColor}[2]{{\Scribtexttt{\SColorize{#1}{#2}}}}
 \definecolor{CommentColor}{rgb}{0.76,0.45,0.12}
 \definecolor{ParenColor}{rgb}{0.52,0.24,0.14}
 \definecolor{IdentifierColor}{rgb}{0.15,0.15,0.50}
@@ -23,7 +25,7 @@
 
 \newcommand{\Scribtexttt}[1]{{\texttt{#1}}}
 \newcommand{\schemeplain}[1]{\inColor{black}{#1}}
-\newcommand{\schemekeyword}[1]{{\color{black}{\Scribtexttt{\textbf{#1}}}}}
+\newcommand{\schemekeyword}[1]{{\SColorize{black}{\Scribtexttt{\textbf{#1}}}}}
 \newcommand{\schemesyntaxlink}[1]{\schemekeyword{#1}}
 \newcommand{\schemecomment}[1]{\inColor{CommentColor}{#1}}
 \newcommand{\schemeparen}[1]{\inColor{ParenColor}{#1}}