diff options
| -rw-r--r-- | etc/NEWS | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -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 |
| 790 | of the form (face FACE PROP1 VAL1 PROP@ VAL2 ...) so you can set | 790 | of the form (face FACE PROP1 VAL1 PROP2 VAL2 ...) so you can set |
| 791 | other properties than `face'. | 791 | other 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 |
| 793 | properties are automatically cleaned up by font-lock. | 793 | properties are automatically cleaned up by font-lock. |