2413 |
|
|
2414 |
** Since `format' preserves text properties, the idiom |
** Since `format' preserves text properties, the idiom |
2415 |
`(format "%s" foo)' no longer works to copy and remove properties. |
`(format "%s" foo)' no longer works to copy and remove properties. |
2416 |
Use `copy-sequence' and `set-text-properties'. |
Use `copy-sequence' to copy the string, then use `set-text-properties' |
2417 |
|
to remove the properties of the copy. |
2418 |
|
|
2419 |
** Since the `keymap' text property now has significance, some code |
** Since the `keymap' text property now has significance, some code |
2420 |
which uses both `local-map' and `keymap' properties (for portability) |
which uses both `local-map' and `keymap' properties (for portability) |