From bd1190d7050962270c99edef8ab9787d32b28f0e Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Thu, 15 Nov 2001 18:53:38 +0000 Subject: [PATCH] Minor clarification. --- etc/NEWS | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/etc/NEWS b/etc/NEWS index 0613ba3166a..d7a0d991546 100644 --- a/etc/NEWS +++ b/etc/NEWS @@ -2413,7 +2413,8 @@ See the sections below for details. ** Since `format' preserves text properties, the idiom `(format "%s" foo)' no longer works to copy and remove properties. -Use `copy-sequence' and `set-text-properties'. +Use `copy-sequence' to copy the string, then use `set-text-properties' +to remove the properties of the copy. ** Since the `keymap' text property now has significance, some code which uses both `local-map' and `keymap' properties (for portability) -- 2.39.5