From a3f1aee1b7d3382d83380a1a3ecdb19a6c347bd8 Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Thu, 15 Nov 2001 18:54:13 +0000 Subject: [PATCH] Minor clarification. --- etc/NEWS | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/etc/NEWS b/etc/NEWS index 6dabf4f2429..c069d6290ab 100644 --- a/etc/NEWS +++ b/etc/NEWS @@ -2198,7 +2198,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.2