diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/lispref/display.texi | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/lispref/display.texi b/doc/lispref/display.texi index 457a53cbe8b..93c927cbe2a 100644 --- a/doc/lispref/display.texi +++ b/doc/lispref/display.texi | |||
| @@ -3034,7 +3034,11 @@ it is commonly assigned to the @code{mouse-face} property for cursor | |||
| 3034 | highlighting (@pxref{Special Properties}). | 3034 | highlighting (@pxref{Special Properties}). |
| 3035 | 3035 | ||
| 3036 | @item match | 3036 | @item match |
| 3037 | For text matching a search command. | 3037 | @itemx isearch |
| 3038 | @itemx lazy-highlight | ||
| 3039 | For text matching (respectively) permanent search matches, interactive | ||
| 3040 | search matches, and lazy highlighting other matches than the current | ||
| 3041 | interactive one. | ||
| 3038 | 3042 | ||
| 3039 | @item error | 3043 | @item error |
| 3040 | @itemx warning | 3044 | @itemx warning |