File tree Expand file tree Collapse file tree 1 file changed +6
-1
lines changed Expand file tree Collapse file tree 1 file changed +6
-1
lines changed Original file line number Diff line number Diff line change @@ -3201,7 +3201,12 @@ is disabled, @code{font-lock-face} has no effect on the display.
3201
3201
It is ok for a mode to use @code {font-lock-face } for some text and
3202
3202
also use the normal Font Lock machinery. But if the mode does not use
3203
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
3211
@node Faces for Font Lock
3207
3212
@subsection Faces for Font Lock
You can’t perform that action at this time.
0 commit comments