1727 |
@kindex highlight @r{(face name)} |
@kindex highlight @r{(face name)} |
1728 |
This face is meant to be used for highlighting for various purposes. |
This face is meant to be used for highlighting for various purposes. |
1729 |
|
|
1730 |
|
@item mode-line-highlight |
1731 |
|
@kindex mode-line-highlight @r{(face name)} |
1732 |
|
This face is used for highlighting something on @code{mode-line} or |
1733 |
|
@code{header-line} for various purposes. |
1734 |
|
|
1735 |
@item trailing-whitespace |
@item trailing-whitespace |
1736 |
@kindex trailing-whitespace @r{(face name)} |
@kindex trailing-whitespace @r{(face name)} |
1737 |
This face is used to display excess whitespace at the end of a line, |
This face is used to display excess whitespace at the end of a line, |