From 30020ec0632c21e2b9843bef2a0d0b31bb926be5 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 31 Aug 2005 02:25:35 +0000 Subject: [PATCH] doc current-open-paren and current-close-paren svn: r712 --- collects/texpict/doc.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/texpict/doc.txt b/collects/texpict/doc.txt index 0085fab24b..85dd79711e 100644 --- a/collects/texpict/doc.txt +++ b/collects/texpict/doc.txt @@ -1121,6 +1121,8 @@ The _code^_ unit supplies the following > current-id-color - parameter for a string or color% for identifiers > current-literal-color - parameter for a string or color% for literals > current-base-color - parameter for a string or color% for everything else +> current-open-paren - #f or a pict to use for plain open parens +> current-close-paren - #f or a pict to use for plain close parens For backward compatibility: > comment-color - default string/color% for comments