diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/lispref/modes.texi | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/lispref/modes.texi b/doc/lispref/modes.texi index 919816f3dee..0ff13d72e2f 100644 --- a/doc/lispref/modes.texi +++ b/doc/lispref/modes.texi | |||
| @@ -3201,7 +3201,12 @@ is disabled, @code{font-lock-face} has no effect on the display. | |||
| 3201 | It is ok for a mode to use @code{font-lock-face} for some text and | 3201 | It is ok for a mode to use @code{font-lock-face} for some text and |
| 3202 | also use the normal Font Lock machinery. But if the mode does not use | 3202 | also use the normal Font Lock machinery. But if the mode does not use |
| 3203 | the normal Font Lock machinery, it should not set the variable | 3203 | the normal Font Lock machinery, it should not set the variable |
| 3204 | @code{font-lock-defaults}. | 3204 | @code{font-lock-defaults}. In this case the @code{face} property will |
| 3205 | not be overriden, so using the @code{face} property could work too. | ||
| 3206 | However, using @code{font-lock-face} is generally preferable as it | ||
| 3207 | allows the user to control the fontification by toggling | ||
| 3208 | @code{font-lock-mode}, and lets the code work regardless of whether | ||
| 3209 | the mode uses Font Lock machinery or not. | ||
| 3205 | 3210 | ||
| 3206 | @node Faces for Font Lock | 3211 | @node Faces for Font Lock |
| 3207 | @subsection Faces for Font Lock | 3212 | @subsection Faces for Font Lock |