From 01bc5b2822ef5e40af801e58748cc169b6347b50 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 16 Aug 2011 14:53:43 -0400 Subject: [PATCH] Add ParenFace to the other editors docs. --- collects/scribblings/guide/other-editors.scrbl | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/collects/scribblings/guide/other-editors.scrbl b/collects/scribblings/guide/other-editors.scrbl index 9c7107e465..d9e5c725fd 100644 --- a/collects/scribblings/guide/other-editors.scrbl +++ b/collects/scribblings/guide/other-editors.scrbl @@ -114,6 +114,11 @@ delimiters} mode colors parentheses and other delimiters according to their nesting depth. It makes it easier to know, at a glance, which parentheses match. +@subsubsection{ParenFace} +@hyperlink["http://www.emacswiki.org/emacs/ParenFace"]{ParenFace} lets you +choose in which face (font, color, etc.) parentheses should be displayed. This +makes it possible to make "tone down" parentheses. + @section{Vim}