commit 7a5f07fc4dd88ff2832517fdb9ed703fa3d0f542
parent ff2f50c755576f0cbf524a7ded59d3474613ca43
Author: Matthew Flatt <mflatt@racket-lang.org>
Date: Sun, 1 Mar 2009 21:58:41 +0000
mytexttt -> Scribtexttt
svn: r13893
original commit: aaea005d0f68c002231fb48b89972408e57acb37
Diffstat:
2 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/collects/scribble/latex-render.ss b/collects/scribble/latex-render.ss
@@ -175,7 +175,7 @@
(case style
[(italic) (wrap e "textit" #f)]
[(bold) (wrap e "textbf" #f)]
- [(tt) (wrap e "mytexttt" #t)]
+ [(tt) (wrap e "Scribtexttt" #t)]
[(no-break) (super render-element e part ri)]
[(sf) (wrap e "textsf" #f)]
[(subscript) (wrap e "textsub" #f)]
@@ -185,7 +185,7 @@
(case (string-length s)
[(0) (void)]
[else
- (printf "\\mbox{\\hphantom{\\mytexttt{~a}}}"
+ (printf "\\mbox{\\hphantom{\\Scribtexttt{~a}}}"
(regexp-replace* #rx"." s "x"))]))]
[(newline) (printf "\\\\")]
[else (error 'latex-render
diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex
@@ -9,7 +9,7 @@
\usepackage[usenames,dvipsnames]{color}
\hypersetup{bookmarks=true,bookmarksopen=true,bookmarksnumbered=true}
-\newcommand{\inColor}[2]{{\mytexttt{\color{#1}{#2}}}}
+\newcommand{\inColor}[2]{{\Scribtexttt{\color{#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}
@@ -19,9 +19,9 @@
\definecolor{PaleBlue}{rgb}{0.90,0.90,1.0}
\definecolor{LightGray}{rgb}{0.90,0.90,0.90}
-\newcommand{\mytexttt}[1]{{\texttt{#1}}}
+\newcommand{\Scribtexttt}[1]{{\texttt{#1}}}
\newcommand{\schemeplain}[1]{\inColor{black}{#1}}
-\newcommand{\schemekeyword}[1]{{\color{black}{\mytexttt{\textbf{#1}}}}}
+\newcommand{\schemekeyword}[1]{{\color{black}{\Scribtexttt{\textbf{#1}}}}}
\newcommand{\schemesyntaxlink}[1]{\schemekeyword{#1}}
\newcommand{\schemecomment}[1]{\inColor{CommentColor}{#1}}
\newcommand{\schemeparen}[1]{\inColor{ParenColor}{#1}}