diff options
| author | Eli Zaretskii | 2002-02-03 17:45:02 +0000 |
|---|---|---|
| committer | Eli Zaretskii | 2002-02-03 17:45:02 +0000 |
| commit | 3094ad7a5f8a4b33c8fb8dacd7171c523895a369 (patch) | |
| tree | c6452902da6a295b4f1e669ed30a55e04c59f868 | |
| parent | 236f1c763c550eadccf8574c3bb1dcb70176e2f1 (diff) | |
| download | emacs-3094ad7a5f8a4b33c8fb8dacd7171c523895a369.tar.gz emacs-3094ad7a5f8a4b33c8fb8dacd7171c523895a369.zip | |
(Faces): Document the minibuffer-prompt face.
| -rw-r--r-- | man/display.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/man/display.texi b/man/display.texi index aa9678a2283..1e143bcd1f6 100644 --- a/man/display.texi +++ b/man/display.texi | |||
| @@ -106,6 +106,8 @@ the default face on non-windowed terminals. @xref{Display Custom}. | |||
| 106 | @item header-line | 106 | @item header-line |
| 107 | Similar to @code{mode-line} for a window's header line. Most modes | 107 | Similar to @code{mode-line} for a window's header line. Most modes |
| 108 | don't use the header line, but the Info mode does. | 108 | don't use the header line, but the Info mode does. |
| 109 | @item minibuffer-prompt | ||
| 110 | This face is used for the prompt strings displayed in the minibuffer. | ||
| 109 | @item highlight | 111 | @item highlight |
| 110 | This face is used for highlighting portions of text, in various modes. | 112 | This face is used for highlighting portions of text, in various modes. |
| 111 | For example, mouse-sensitive text is highlighted using this face. | 113 | For example, mouse-sensitive text is highlighted using this face. |