diff options
| author | Juri Linkov | 2006-01-17 00:00:24 +0000 |
|---|---|---|
| committer | Juri Linkov | 2006-01-17 00:00:24 +0000 |
| commit | d545c9fd92c681dcf701531a53fcd8b41b4c83ab (patch) | |
| tree | 6a02269a5c7328545cda80e6718dfe8e791cf4b0 | |
| parent | ea4cd5115d8a62bf9c6dc0b3768a23e94a60e20b (diff) | |
| download | emacs-d545c9fd92c681dcf701531a53fcd8b41b4c83ab.tar.gz emacs-d545c9fd92c681dcf701531a53fcd8b41b4c83ab.zip | |
(Standard Faces): Add `mode-line-buffer-id'.
Move `mode-line-highlight' before `mode-line-buffer-id'.
| -rw-r--r-- | man/display.texi | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/man/display.texi b/man/display.texi index 2a3fc30ad82..e1f40e790b1 100644 --- a/man/display.texi +++ b/man/display.texi | |||
| @@ -142,8 +142,6 @@ their own faces for this purpose.) | |||
| 142 | @item highlight | 142 | @item highlight |
| 143 | This face is used for highlighting portions of text, in various modes. | 143 | This face is used for highlighting portions of text, in various modes. |
| 144 | For example, mouse-sensitive text is highlighted using this face. | 144 | For example, mouse-sensitive text is highlighted using this face. |
| 145 | @item mode-line-highlight | ||
| 146 | Like @code{highlight}, but used for portions of text on mode lines. | ||
| 147 | @item isearch | 145 | @item isearch |
| 148 | This face is used for highlighting Isearch matches. | 146 | This face is used for highlighting Isearch matches. |
| 149 | @item lazy-highlight | 147 | @item lazy-highlight |
| @@ -193,6 +191,10 @@ Like @code{mode-line}, but used for mode lines of the windows other | |||
| 193 | than the selected one (if @code{mode-line-in-non-selected-windows} is | 191 | than the selected one (if @code{mode-line-in-non-selected-windows} is |
| 194 | non-@code{nil}). This face inherits from @code{mode-line}, so changes | 192 | non-@code{nil}). This face inherits from @code{mode-line}, so changes |
| 195 | in that face affect mode lines in all windows. | 193 | in that face affect mode lines in all windows. |
| 194 | @item mode-line-highlight | ||
| 195 | Like @code{highlight}, but used for portions of text on mode lines. | ||
| 196 | @item mode-line-buffer-id | ||
| 197 | This face is used for buffer identification parts in the mode line. | ||
| 196 | @item header-line | 198 | @item header-line |
| 197 | Similar to @code{mode-line} for a window's header line. Most modes | 199 | Similar to @code{mode-line} for a window's header line. Most modes |
| 198 | don't use the header line, but some special modes, such the Info mode, do. | 200 | don't use the header line, but some special modes, such the Info mode, do. |