Add ParenFace to the other editors docs.

2011-08-16 14:53:43 -04:00 · 2011-08-16 14:53:43 -04:00 · 01bc5b2822
commit 01bc5b2822
parent 311d55b5cf
1 changed files with 5 additions and 0 deletions
--- 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}