aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--etc/NEWS2
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/NEWS b/etc/NEWS
index d9b91fa7203..3e028aa5e26 100644
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -787,7 +787,7 @@ clone to the other.
787 787
788** font-lock can manage arbitrary text-properties beside `face'. 788** font-lock can manage arbitrary text-properties beside `face'.
789*** the FACENAME returned in font-lock-keywords can be a list 789*** the FACENAME returned in font-lock-keywords can be a list
790of the form (face FACE PROP1 VAL1 PROP@ VAL2 ...) so you can set 790of the form (face FACE PROP1 VAL1 PROP2 VAL2 ...) so you can set
791other properties than `face'. 791other properties than `face'.
792*** font-lock-extra-managed-props can be set to make sure those extra 792*** font-lock-extra-managed-props can be set to make sure those extra
793properties are automatically cleaned up by font-lock. 793properties are automatically cleaned up by font-lock.