diff options
| author | Richard M. Stallman | 1995-11-18 16:22:42 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 1995-11-18 16:22:42 +0000 |
| commit | 6f23288124a41cfc5817240391a467a354c26bbc (patch) | |
| tree | cde46453ee6e626d216405c9c58cf05ddb8e37b5 /src | |
| parent | e0bfbde6a4ac5cd421c4290cf494e7b498a7018a (diff) | |
| download | emacs-6f23288124a41cfc5817240391a467a354c26bbc.tar.gz emacs-6f23288124a41cfc5817240391a467a354c26bbc.zip | |
(Fset_text_properties): Call set_properties
even if we also merge an interval.
Diffstat (limited to 'src')
| -rw-r--r-- | src/textprop.c | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/src/textprop.c b/src/textprop.c index b071b347508..a4f697810ed 100644 --- a/src/textprop.c +++ b/src/textprop.c | |||
| @@ -1030,19 +1030,23 @@ is the string or buffer containing the text.") | |||
| 1030 | if (LENGTH (i) > len) | 1030 | if (LENGTH (i) > len) |
| 1031 | i = split_interval_left (i, len); | 1031 | i = split_interval_left (i, len); |
| 1032 | 1032 | ||
| 1033 | if (NULL_INTERVAL_P (prev_changed)) | 1033 | /* We have to call set_properties even if we are going to |
| 1034 | set_properties (props, i, object); | 1034 | merge the intervals, so as to make the undo records |
| 1035 | else | 1035 | and cause redisplay to happen. */ |
| 1036 | set_properties (props, i, object); | ||
| 1037 | if (!NULL_INTERVAL_P (prev_changed)) | ||
| 1036 | merge_interval_left (i); | 1038 | merge_interval_left (i); |
| 1037 | return Qt; | 1039 | return Qt; |
| 1038 | } | 1040 | } |
| 1039 | 1041 | ||
| 1040 | len -= LENGTH (i); | 1042 | len -= LENGTH (i); |
| 1043 | |||
| 1044 | /* We have to call set_properties even if we are going to | ||
| 1045 | merge the intervals, so as to make the undo records | ||
| 1046 | and cause redisplay to happen. */ | ||
| 1047 | set_properties (props, i, object); | ||
| 1041 | if (NULL_INTERVAL_P (prev_changed)) | 1048 | if (NULL_INTERVAL_P (prev_changed)) |
| 1042 | { | 1049 | prev_changed = i; |
| 1043 | set_properties (props, i, object); | ||
| 1044 | prev_changed = i; | ||
| 1045 | } | ||
| 1046 | else | 1050 | else |
| 1047 | prev_changed = i = merge_interval_left (i); | 1051 | prev_changed = i = merge_interval_left (i); |
| 1048 | 1052 | ||