# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1012758302 0
# Node ID ecebf8a90c3a86c3f13a0a5597fc1d1e061dabaf
# Parent  b31f95ef830aa304de62de1197d410962222dc66
(Faces): Document the minibuffer-prompt face.

diff -r b31f95ef830a -r ecebf8a90c3a man/display.texi
--- a/man/display.texi	Sun Feb 03 17:42:07 2002 +0000
+++ b/man/display.texi	Sun Feb 03 17:45:02 2002 +0000
@@ -106,6 +106,8 @@
 @item header-line
 Similar to @code{mode-line} for a window's header line.  Most modes
 don't use the header line, but the Info mode does.
+@item minibuffer-prompt
+This face is used for the prompt strings displayed in the minibuffer.
 @item highlight
 This face is used for highlighting portions of text, in various modes.
 For example, mouse-sensitive text is highlighted using this face.