diff options
| author | Juri Linkov | 2005-08-09 21:51:54 +0000 |
|---|---|---|
| committer | Juri Linkov | 2005-08-09 21:51:54 +0000 |
| commit | 58f1b4d861e9303468d383ca79e6b50b905a99cc (patch) | |
| tree | 2311402d1ffc7d6a269419ce955c0c09f78d7187 | |
| parent | 869d986e167c4b1dfca50036db22a1746dfa4006 (diff) | |
| download | emacs-58f1b4d861e9303468d383ca79e6b50b905a99cc.tar.gz emacs-58f1b4d861e9303468d383ca79e6b50b905a99cc.zip | |
(Standard Faces): Describe vertical-border on window systems.
| -rw-r--r-- | man/display.texi | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/man/display.texi b/man/display.texi index 06b3a58642f..52764344ac2 100644 --- a/man/display.texi +++ b/man/display.texi | |||
| @@ -188,9 +188,11 @@ in that face affect mode lines in all windows. | |||
| 188 | Similar to @code{mode-line} for a window's header line. Most modes | 188 | Similar to @code{mode-line} for a window's header line. Most modes |
| 189 | don't use the header line, but the Info mode does. | 189 | don't use the header line, but the Info mode does. |
| 190 | @item vertical-border | 190 | @item vertical-border |
| 191 | This face is used for the vertical divider between windows on | 191 | This face is used for the vertical divider between windows. |
| 192 | character terminals. By default this face inherits from the | 192 | By default this face inherits from the @code{mode-line-inactive} face |
| 193 | @code{mode-line-inactive} face. | 193 | on character terminals. On window systems the foreground color of |
| 194 | this face is used for the vertical line between windows without | ||
| 195 | scrollbars. | ||
| 194 | @item minibuffer-prompt | 196 | @item minibuffer-prompt |
| 195 | This face is used for the prompt strings displayed in the minibuffer. | 197 | This face is used for the prompt strings displayed in the minibuffer. |
| 196 | @item fringe | 198 | @item fringe |