Mercurial > emacs
annotate src/insdel.c @ 15647:f898a38206ab
(normal-top-level-add-to-load-path):
Use directory-file-name since load-path elements don't end in /.
author | Karl Heuer <kwzh@gnu.org> |
---|---|
date | Fri, 12 Jul 1996 00:08:09 +0000 |
parents | d6106d651a71 |
children | 76bd16bb5906 |
rev | line source |
---|---|
157 | 1 /* Buffer insertion/deletion and gap motion for GNU Emacs. |
11235 | 2 Copyright (C) 1985, 1986, 1993, 1994, 1995 Free Software Foundation, Inc. |
157 | 3 |
4 This file is part of GNU Emacs. | |
5 | |
6 GNU Emacs is free software; you can redistribute it and/or modify | |
7 it under the terms of the GNU General Public License as published by | |
12244 | 8 the Free Software Foundation; either version 2, or (at your option) |
157 | 9 any later version. |
10 | |
11 GNU Emacs is distributed in the hope that it will be useful, | |
12 but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 GNU General Public License for more details. | |
15 | |
16 You should have received a copy of the GNU General Public License | |
17 along with GNU Emacs; see the file COPYING. If not, write to | |
14186
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
14036
diff
changeset
|
18 the Free Software Foundation, Inc., 59 Temple Place - Suite 330, |
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
14036
diff
changeset
|
19 Boston, MA 02111-1307, USA. */ |
157 | 20 |
21 | |
4696
1fc792473491
Include <config.h> instead of "config.h".
Roland McGrath <roland@gnu.org>
parents:
4078
diff
changeset
|
22 #include <config.h> |
157 | 23 #include "lisp.h" |
1289
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
24 #include "intervals.h" |
157 | 25 #include "buffer.h" |
26 #include "window.h" | |
2480 | 27 #include "blockinput.h" |
157 | 28 |
11703
3c5b974e1c10
(make_gap): Make this new error check also check exceeding VALBITS.
Richard M. Stallman <rms@gnu.org>
parents:
11691
diff
changeset
|
29 #define min(x, y) ((x) < (y) ? (x) : (y)) |
3c5b974e1c10
(make_gap): Make this new error check also check exceeding VALBITS.
Richard M. Stallman <rms@gnu.org>
parents:
11691
diff
changeset
|
30 |
6739
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
31 static void insert_from_string_1 (); |
9656
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
32 static void insert_from_buffer_1 (); |
7108 | 33 static void gap_left (); |
34 static void gap_right (); | |
35 static void adjust_markers (); | |
7109 | 36 static void adjust_point (); |
6739
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
37 |
157 | 38 /* Move gap to position `pos'. |
39 Note that this can quit! */ | |
40 | |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
41 void |
157 | 42 move_gap (pos) |
43 int pos; | |
44 { | |
45 if (pos < GPT) | |
46 gap_left (pos, 0); | |
47 else if (pos > GPT) | |
48 gap_right (pos); | |
49 } | |
50 | |
51 /* Move the gap to POS, which is less than the current GPT. | |
52 If NEWGAP is nonzero, then don't update beg_unchanged and end_unchanged. */ | |
53 | |
7108 | 54 static void |
157 | 55 gap_left (pos, newgap) |
56 register int pos; | |
57 int newgap; | |
58 { | |
59 register unsigned char *to, *from; | |
60 register int i; | |
61 int new_s1; | |
62 | |
63 pos--; | |
64 | |
65 if (!newgap) | |
66 { | |
67 if (unchanged_modified == MODIFF) | |
68 { | |
69 beg_unchanged = pos; | |
70 end_unchanged = Z - pos - 1; | |
71 } | |
72 else | |
73 { | |
74 if (Z - GPT < end_unchanged) | |
75 end_unchanged = Z - GPT; | |
76 if (pos < beg_unchanged) | |
77 beg_unchanged = pos; | |
78 } | |
79 } | |
80 | |
81 i = GPT; | |
82 to = GAP_END_ADDR; | |
83 from = GPT_ADDR; | |
84 new_s1 = GPT - BEG; | |
85 | |
86 /* Now copy the characters. To move the gap down, | |
87 copy characters up. */ | |
88 | |
89 while (1) | |
90 { | |
91 /* I gets number of characters left to copy. */ | |
92 i = new_s1 - pos; | |
93 if (i == 0) | |
94 break; | |
95 /* If a quit is requested, stop copying now. | |
96 Change POS to be where we have actually moved the gap to. */ | |
97 if (QUITP) | |
98 { | |
99 pos = new_s1; | |
100 break; | |
101 } | |
102 /* Move at most 32000 chars before checking again for a quit. */ | |
103 if (i > 32000) | |
104 i = 32000; | |
105 #ifdef GAP_USE_BCOPY | |
106 if (i >= 128 | |
107 /* bcopy is safe if the two areas of memory do not overlap | |
108 or on systems where bcopy is always safe for moving upward. */ | |
109 && (BCOPY_UPWARD_SAFE | |
110 || to - from >= 128)) | |
111 { | |
112 /* If overlap is not safe, avoid it by not moving too many | |
113 characters at once. */ | |
114 if (!BCOPY_UPWARD_SAFE && i > to - from) | |
115 i = to - from; | |
116 new_s1 -= i; | |
117 from -= i, to -= i; | |
118 bcopy (from, to, i); | |
119 } | |
120 else | |
121 #endif | |
122 { | |
123 new_s1 -= i; | |
124 while (--i >= 0) | |
125 *--to = *--from; | |
126 } | |
127 } | |
128 | |
129 /* Adjust markers, and buffer data structure, to put the gap at POS. | |
130 POS is where the loop above stopped, which may be what was specified | |
131 or may be where a quit was detected. */ | |
132 adjust_markers (pos + 1, GPT, GAP_SIZE); | |
133 GPT = pos + 1; | |
134 QUIT; | |
135 } | |
136 | |
7108 | 137 static void |
157 | 138 gap_right (pos) |
139 register int pos; | |
140 { | |
141 register unsigned char *to, *from; | |
142 register int i; | |
143 int new_s1; | |
144 | |
145 pos--; | |
146 | |
147 if (unchanged_modified == MODIFF) | |
148 { | |
149 beg_unchanged = pos; | |
150 end_unchanged = Z - pos - 1; | |
151 } | |
152 else | |
153 { | |
154 if (Z - pos - 1 < end_unchanged) | |
155 end_unchanged = Z - pos - 1; | |
156 if (GPT - BEG < beg_unchanged) | |
157 beg_unchanged = GPT - BEG; | |
158 } | |
159 | |
160 i = GPT; | |
161 from = GAP_END_ADDR; | |
162 to = GPT_ADDR; | |
163 new_s1 = GPT - 1; | |
164 | |
165 /* Now copy the characters. To move the gap up, | |
166 copy characters down. */ | |
167 | |
168 while (1) | |
169 { | |
170 /* I gets number of characters left to copy. */ | |
171 i = pos - new_s1; | |
172 if (i == 0) | |
173 break; | |
174 /* If a quit is requested, stop copying now. | |
175 Change POS to be where we have actually moved the gap to. */ | |
176 if (QUITP) | |
177 { | |
178 pos = new_s1; | |
179 break; | |
180 } | |
181 /* Move at most 32000 chars before checking again for a quit. */ | |
182 if (i > 32000) | |
183 i = 32000; | |
184 #ifdef GAP_USE_BCOPY | |
185 if (i >= 128 | |
186 /* bcopy is safe if the two areas of memory do not overlap | |
187 or on systems where bcopy is always safe for moving downward. */ | |
188 && (BCOPY_DOWNWARD_SAFE | |
189 || from - to >= 128)) | |
190 { | |
191 /* If overlap is not safe, avoid it by not moving too many | |
192 characters at once. */ | |
193 if (!BCOPY_DOWNWARD_SAFE && i > from - to) | |
194 i = from - to; | |
195 new_s1 += i; | |
196 bcopy (from, to, i); | |
197 from += i, to += i; | |
198 } | |
199 else | |
200 #endif | |
201 { | |
202 new_s1 += i; | |
203 while (--i >= 0) | |
204 *to++ = *from++; | |
205 } | |
206 } | |
207 | |
208 adjust_markers (GPT + GAP_SIZE, pos + 1 + GAP_SIZE, - GAP_SIZE); | |
209 GPT = pos + 1; | |
210 QUIT; | |
211 } | |
212 | |
14479
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
213 /* Add AMOUNT to the position of every marker in the current buffer |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
214 whose current position is between FROM (exclusive) and TO (inclusive). |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
215 |
157 | 216 Also, any markers past the outside of that interval, in the direction |
217 of adjustment, are first moved back to the near end of the interval | |
14479
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
218 and then adjusted by AMOUNT. |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
219 |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
220 When the latter adjustment is done, if AMOUNT is negative, |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
221 we record the adjustment for undo. (This case happens only for |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
222 deletion.) */ |
157 | 223 |
7108 | 224 static void |
157 | 225 adjust_markers (from, to, amount) |
226 register int from, to, amount; | |
227 { | |
228 Lisp_Object marker; | |
229 register struct Lisp_Marker *m; | |
230 register int mpos; | |
231 | |
10311
0de21e27722f
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10145
diff
changeset
|
232 marker = BUF_MARKERS (current_buffer); |
157 | 233 |
484 | 234 while (!NILP (marker)) |
157 | 235 { |
236 m = XMARKER (marker); | |
237 mpos = m->bufpos; | |
238 if (amount > 0) | |
239 { | |
240 if (mpos > to && mpos < to + amount) | |
241 mpos = to + amount; | |
242 } | |
243 else | |
244 { | |
14479
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
245 /* Here's the case where a marker is inside text being deleted. |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
246 AMOUNT can be negative for gap motion, too, |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
247 but then this range contains no markers. */ |
157 | 248 if (mpos > from + amount && mpos <= from) |
14479
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
249 { |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
250 record_marker_adjustment (marker, from + amount - mpos); |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
251 mpos = from + amount; |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
252 } |
157 | 253 } |
254 if (mpos > from && mpos <= to) | |
255 mpos += amount; | |
256 m->bufpos = mpos; | |
257 marker = m->chain; | |
258 } | |
259 } | |
7109 | 260 |
12997
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
261 /* Adjust markers whose insertion-type is t |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
262 for an insertion of AMOUNT characters at POS. */ |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
263 |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
264 static void |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
265 adjust_markers_for_insert (pos, amount) |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
266 register int pos, amount; |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
267 { |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
268 Lisp_Object marker; |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
269 |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
270 marker = BUF_MARKERS (current_buffer); |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
271 |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
272 while (!NILP (marker)) |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
273 { |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
274 register struct Lisp_Marker *m = XMARKER (marker); |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
275 if (m->insertion_type && m->bufpos == pos) |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
276 m->bufpos += amount; |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
277 marker = m->chain; |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
278 } |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
279 } |
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
280 |
7109 | 281 /* Add the specified amount to point. This is used only when the value |
282 of point changes due to an insert or delete; it does not represent | |
283 a conceptual change in point as a marker. In particular, point is | |
284 not crossing any interval boundaries, so there's no need to use the | |
285 usual SET_PT macro. In fact it would be incorrect to do so, because | |
14036 | 286 either the old or the new value of point is out of sync with the |
7109 | 287 current set of intervals. */ |
288 static void | |
289 adjust_point (amount) | |
11923
5160a1fdb44f
(adjust_point): Declare arg AMOUNT.
Karl Heuer <kwzh@gnu.org>
parents:
11703
diff
changeset
|
290 int amount; |
7109 | 291 { |
10311
0de21e27722f
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10145
diff
changeset
|
292 BUF_PT (current_buffer) += amount; |
7109 | 293 } |
157 | 294 |
295 /* Make the gap INCREMENT characters longer. */ | |
296 | |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
297 void |
157 | 298 make_gap (increment) |
299 int increment; | |
300 { | |
301 unsigned char *result; | |
302 Lisp_Object tem; | |
303 int real_gap_loc; | |
304 int old_gap_size; | |
305 | |
306 /* If we have to get more space, get enough to last a while. */ | |
307 increment += 2000; | |
308 | |
11691
ca7058c74ef3
(make_gap): Don't allow buffer size that won't fit in int.
Richard M. Stallman <rms@gnu.org>
parents:
11657
diff
changeset
|
309 /* Don't allow a buffer size that won't fit in an int |
ca7058c74ef3
(make_gap): Don't allow buffer size that won't fit in int.
Richard M. Stallman <rms@gnu.org>
parents:
11657
diff
changeset
|
310 even if it will fit in a Lisp integer. |
ca7058c74ef3
(make_gap): Don't allow buffer size that won't fit in int.
Richard M. Stallman <rms@gnu.org>
parents:
11657
diff
changeset
|
311 That won't work because so many places use `int'. */ |
ca7058c74ef3
(make_gap): Don't allow buffer size that won't fit in int.
Richard M. Stallman <rms@gnu.org>
parents:
11657
diff
changeset
|
312 |
11703
3c5b974e1c10
(make_gap): Make this new error check also check exceeding VALBITS.
Richard M. Stallman <rms@gnu.org>
parents:
11691
diff
changeset
|
313 if (Z - BEG + GAP_SIZE + increment |
13363
941c37982f37
(BITS_PER_SHORT, BITS_PER_INT, BITS_PER_LONG):
Karl Heuer <kwzh@gnu.org>
parents:
13026
diff
changeset
|
314 >= ((unsigned) 1 << (min (BITS_PER_INT, VALBITS) - 1))) |
11703
3c5b974e1c10
(make_gap): Make this new error check also check exceeding VALBITS.
Richard M. Stallman <rms@gnu.org>
parents:
11691
diff
changeset
|
315 error ("Buffer exceeds maximum size"); |
11691
ca7058c74ef3
(make_gap): Don't allow buffer size that won't fit in int.
Richard M. Stallman <rms@gnu.org>
parents:
11657
diff
changeset
|
316 |
2439
b6c62e4abf59
Put interrupt input blocking in a separate file from xterm.h.
Jim Blandy <jimb@redhat.com>
parents:
2050
diff
changeset
|
317 BLOCK_INPUT; |
157 | 318 result = BUFFER_REALLOC (BEG_ADDR, (Z - BEG + GAP_SIZE + increment)); |
2439
b6c62e4abf59
Put interrupt input blocking in a separate file from xterm.h.
Jim Blandy <jimb@redhat.com>
parents:
2050
diff
changeset
|
319 |
157 | 320 if (result == 0) |
9391
6061a432881f
(make_gap): Keep input blocked till after we set BEG_ADDR.
Richard M. Stallman <rms@gnu.org>
parents:
9270
diff
changeset
|
321 { |
6061a432881f
(make_gap): Keep input blocked till after we set BEG_ADDR.
Richard M. Stallman <rms@gnu.org>
parents:
9270
diff
changeset
|
322 UNBLOCK_INPUT; |
6061a432881f
(make_gap): Keep input blocked till after we set BEG_ADDR.
Richard M. Stallman <rms@gnu.org>
parents:
9270
diff
changeset
|
323 memory_full (); |
6061a432881f
(make_gap): Keep input blocked till after we set BEG_ADDR.
Richard M. Stallman <rms@gnu.org>
parents:
9270
diff
changeset
|
324 } |
6061a432881f
(make_gap): Keep input blocked till after we set BEG_ADDR.
Richard M. Stallman <rms@gnu.org>
parents:
9270
diff
changeset
|
325 |
6061a432881f
(make_gap): Keep input blocked till after we set BEG_ADDR.
Richard M. Stallman <rms@gnu.org>
parents:
9270
diff
changeset
|
326 /* We can't unblock until the new address is properly stored. */ |
157 | 327 BEG_ADDR = result; |
9391
6061a432881f
(make_gap): Keep input blocked till after we set BEG_ADDR.
Richard M. Stallman <rms@gnu.org>
parents:
9270
diff
changeset
|
328 UNBLOCK_INPUT; |
157 | 329 |
330 /* Prevent quitting in move_gap. */ | |
331 tem = Vinhibit_quit; | |
332 Vinhibit_quit = Qt; | |
333 | |
334 real_gap_loc = GPT; | |
335 old_gap_size = GAP_SIZE; | |
336 | |
337 /* Call the newly allocated space a gap at the end of the whole space. */ | |
338 GPT = Z + GAP_SIZE; | |
339 GAP_SIZE = increment; | |
340 | |
341 /* Move the new gap down to be consecutive with the end of the old one. | |
342 This adjusts the markers properly too. */ | |
343 gap_left (real_gap_loc + old_gap_size, 1); | |
344 | |
345 /* Now combine the two into one large gap. */ | |
346 GAP_SIZE += old_gap_size; | |
347 GPT = real_gap_loc; | |
348 | |
349 Vinhibit_quit = tem; | |
350 } | |
351 | |
352 /* Insert a string of specified length before point. | |
9656
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
353 DO NOT use this for the contents of a Lisp string or a Lisp buffer! |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
354 prepare_to_modify_buffer could relocate the text. */ |
157 | 355 |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
356 void |
157 | 357 insert (string, length) |
358 register unsigned char *string; | |
359 register length; | |
360 { | |
6739
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
361 if (length > 0) |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
362 { |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
363 insert_1 (string, length, 0, 1); |
8647
d66b80e5bc77
(insert_1): New arg INHERIT.
Richard M. Stallman <rms@gnu.org>
parents:
7109
diff
changeset
|
364 signal_after_change (PT-length, 0, length); |
d66b80e5bc77
(insert_1): New arg INHERIT.
Richard M. Stallman <rms@gnu.org>
parents:
7109
diff
changeset
|
365 } |
d66b80e5bc77
(insert_1): New arg INHERIT.
Richard M. Stallman <rms@gnu.org>
parents:
7109
diff
changeset
|
366 } |
d66b80e5bc77
(insert_1): New arg INHERIT.
Richard M. Stallman <rms@gnu.org>
parents:
7109
diff
changeset
|
367 |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
368 void |
8647
d66b80e5bc77
(insert_1): New arg INHERIT.
Richard M. Stallman <rms@gnu.org>
parents:
7109
diff
changeset
|
369 insert_and_inherit (string, length) |
d66b80e5bc77
(insert_1): New arg INHERIT.
Richard M. Stallman <rms@gnu.org>
parents:
7109
diff
changeset
|
370 register unsigned char *string; |
d66b80e5bc77
(insert_1): New arg INHERIT.
Richard M. Stallman <rms@gnu.org>
parents:
7109
diff
changeset
|
371 register length; |
d66b80e5bc77
(insert_1): New arg INHERIT.
Richard M. Stallman <rms@gnu.org>
parents:
7109
diff
changeset
|
372 { |
d66b80e5bc77
(insert_1): New arg INHERIT.
Richard M. Stallman <rms@gnu.org>
parents:
7109
diff
changeset
|
373 if (length > 0) |
d66b80e5bc77
(insert_1): New arg INHERIT.
Richard M. Stallman <rms@gnu.org>
parents:
7109
diff
changeset
|
374 { |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
375 insert_1 (string, length, 1, 1); |
7108 | 376 signal_after_change (PT-length, 0, length); |
6739
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
377 } |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
378 } |
157 | 379 |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
380 void |
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
381 insert_1 (string, length, inherit, prepare) |
6739
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
382 register unsigned char *string; |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
383 register int length; |
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
384 int inherit, prepare; |
6739
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
385 { |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
386 register Lisp_Object temp; |
157 | 387 |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
388 if (prepare) |
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
389 prepare_to_modify_buffer (PT, PT); |
157 | 390 |
7108 | 391 if (PT != GPT) |
392 move_gap (PT); | |
157 | 393 if (GAP_SIZE < length) |
394 make_gap (length - GAP_SIZE); | |
395 | |
7108 | 396 record_insert (PT, length); |
157 | 397 MODIFF++; |
398 | |
399 bcopy (string, GPT_ADDR, length); | |
400 | |
8687
ae896adcb7a3
(prepare_to_modify_buffer): Don't call verify_overlay_modification if
Richard M. Stallman <rms@gnu.org>
parents:
8668
diff
changeset
|
401 #ifdef USE_TEXT_PROPERTIES |
10311
0de21e27722f
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10145
diff
changeset
|
402 if (BUF_INTERVALS (current_buffer) != 0) |
8687
ae896adcb7a3
(prepare_to_modify_buffer): Don't call verify_overlay_modification if
Richard M. Stallman <rms@gnu.org>
parents:
8668
diff
changeset
|
403 /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES. */ |
ae896adcb7a3
(prepare_to_modify_buffer): Don't call verify_overlay_modification if
Richard M. Stallman <rms@gnu.org>
parents:
8668
diff
changeset
|
404 offset_intervals (current_buffer, PT, length); |
ae896adcb7a3
(prepare_to_modify_buffer): Don't call verify_overlay_modification if
Richard M. Stallman <rms@gnu.org>
parents:
8668
diff
changeset
|
405 #endif |
1289
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
406 |
157 | 407 GAP_SIZE -= length; |
408 GPT += length; | |
409 ZV += length; | |
410 Z += length; | |
11474
510885be2758
(insert_1): Adjust overlay center after inserting.
Karl Heuer <kwzh@gnu.org>
parents:
11235
diff
changeset
|
411 adjust_overlays_for_insert (PT, length); |
12997
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
412 adjust_markers_for_insert (PT, length); |
7109 | 413 adjust_point (length); |
8647
d66b80e5bc77
(insert_1): New arg INHERIT.
Richard M. Stallman <rms@gnu.org>
parents:
7109
diff
changeset
|
414 |
8687
ae896adcb7a3
(prepare_to_modify_buffer): Don't call verify_overlay_modification if
Richard M. Stallman <rms@gnu.org>
parents:
8668
diff
changeset
|
415 #ifdef USE_TEXT_PROPERTIES |
10311
0de21e27722f
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10145
diff
changeset
|
416 if (!inherit && BUF_INTERVALS (current_buffer) != 0) |
8647
d66b80e5bc77
(insert_1): New arg INHERIT.
Richard M. Stallman <rms@gnu.org>
parents:
7109
diff
changeset
|
417 Fset_text_properties (make_number (PT - length), make_number (PT), |
d66b80e5bc77
(insert_1): New arg INHERIT.
Richard M. Stallman <rms@gnu.org>
parents:
7109
diff
changeset
|
418 Qnil, Qnil); |
8687
ae896adcb7a3
(prepare_to_modify_buffer): Don't call verify_overlay_modification if
Richard M. Stallman <rms@gnu.org>
parents:
8668
diff
changeset
|
419 #endif |
157 | 420 } |
421 | |
1289
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
422 /* Insert the part of the text of STRING, a Lisp object assumed to be |
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
423 of type string, consisting of the LENGTH characters starting at |
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
424 position POS. If the text of STRING has properties, they are absorbed |
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
425 into the buffer. |
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
426 |
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
427 It does not work to use `insert' for this, because a GC could happen |
251 | 428 before we bcopy the stuff into the buffer, and relocate the string |
429 without insert noticing. */ | |
1289
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
430 |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
431 void |
4712
367dc6ff392c
(insert_from_string): Pass extra arg to graft_intervals_into_buffer.
Richard M. Stallman <rms@gnu.org>
parents:
4696
diff
changeset
|
432 insert_from_string (string, pos, length, inherit) |
157 | 433 Lisp_Object string; |
434 register int pos, length; | |
4712
367dc6ff392c
(insert_from_string): Pass extra arg to graft_intervals_into_buffer.
Richard M. Stallman <rms@gnu.org>
parents:
4696
diff
changeset
|
435 int inherit; |
157 | 436 { |
6739
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
437 if (length > 0) |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
438 { |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
439 insert_from_string_1 (string, pos, length, inherit); |
7108 | 440 signal_after_change (PT-length, 0, length); |
6739
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
441 } |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
442 } |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
443 |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
444 static void |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
445 insert_from_string_1 (string, pos, length, inherit) |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
446 Lisp_Object string; |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
447 register int pos, length; |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
448 int inherit; |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
449 { |
157 | 450 register Lisp_Object temp; |
451 struct gcpro gcpro1; | |
452 | |
453 /* Make sure point-max won't overflow after this insertion. */ | |
9270
405b269631c3
(insert_1, insert_from_string_1): Use new accessor macros instead of calling
Karl Heuer <kwzh@gnu.org>
parents:
8840
diff
changeset
|
454 XSETINT (temp, length + Z); |
157 | 455 if (length + Z != XINT (temp)) |
456 error ("maximum buffer size exceeded"); | |
457 | |
458 GCPRO1 (string); | |
7108 | 459 prepare_to_modify_buffer (PT, PT); |
157 | 460 |
7108 | 461 if (PT != GPT) |
462 move_gap (PT); | |
157 | 463 if (GAP_SIZE < length) |
464 make_gap (length - GAP_SIZE); | |
465 | |
7108 | 466 record_insert (PT, length); |
157 | 467 MODIFF++; |
468 UNGCPRO; | |
469 | |
470 bcopy (XSTRING (string)->data, GPT_ADDR, length); | |
471 | |
1289
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
472 /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */ |
7108 | 473 offset_intervals (current_buffer, PT, length); |
1289
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
474 |
157 | 475 GAP_SIZE -= length; |
476 GPT += length; | |
477 ZV += length; | |
478 Z += length; | |
11474
510885be2758
(insert_1): Adjust overlay center after inserting.
Karl Heuer <kwzh@gnu.org>
parents:
11235
diff
changeset
|
479 adjust_overlays_for_insert (PT, length); |
12997
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
480 adjust_markers_for_insert (PT, length); |
1289
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
481 |
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
482 /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */ |
7108 | 483 graft_intervals_into_buffer (XSTRING (string)->intervals, PT, length, |
4712
367dc6ff392c
(insert_from_string): Pass extra arg to graft_intervals_into_buffer.
Richard M. Stallman <rms@gnu.org>
parents:
4696
diff
changeset
|
484 current_buffer, inherit); |
1289
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
485 |
7109 | 486 adjust_point (length); |
157 | 487 } |
488 | |
9656
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
489 /* Insert text from BUF, starting at POS and having length LENGTH, into the |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
490 current buffer. If the text in BUF has properties, they are absorbed |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
491 into the current buffer. |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
492 |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
493 It does not work to use `insert' for this, because a malloc could happen |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
494 and relocate BUF's text before the bcopy happens. */ |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
495 |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
496 void |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
497 insert_from_buffer (buf, pos, length, inherit) |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
498 struct buffer *buf; |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
499 int pos, length; |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
500 int inherit; |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
501 { |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
502 if (length > 0) |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
503 { |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
504 insert_from_buffer_1 (buf, pos, length, inherit); |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
505 signal_after_change (PT-length, 0, length); |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
506 } |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
507 } |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
508 |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
509 static void |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
510 insert_from_buffer_1 (buf, pos, length, inherit) |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
511 struct buffer *buf; |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
512 int pos, length; |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
513 int inherit; |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
514 { |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
515 register Lisp_Object temp; |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
516 int chunk; |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
517 |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
518 /* Make sure point-max won't overflow after this insertion. */ |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
519 XSETINT (temp, length + Z); |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
520 if (length + Z != XINT (temp)) |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
521 error ("maximum buffer size exceeded"); |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
522 |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
523 prepare_to_modify_buffer (PT, PT); |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
524 |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
525 if (PT != GPT) |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
526 move_gap (PT); |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
527 if (GAP_SIZE < length) |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
528 make_gap (length - GAP_SIZE); |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
529 |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
530 record_insert (PT, length); |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
531 MODIFF++; |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
532 |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
533 if (pos < BUF_GPT (buf)) |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
534 { |
9685
ee2c6124ae92
(insert_from_buffer_1): Don't use min.
Richard M. Stallman <rms@gnu.org>
parents:
9656
diff
changeset
|
535 chunk = BUF_GPT (buf) - pos; |
ee2c6124ae92
(insert_from_buffer_1): Don't use min.
Richard M. Stallman <rms@gnu.org>
parents:
9656
diff
changeset
|
536 if (chunk > length) |
ee2c6124ae92
(insert_from_buffer_1): Don't use min.
Richard M. Stallman <rms@gnu.org>
parents:
9656
diff
changeset
|
537 chunk = length; |
9656
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
538 bcopy (BUF_CHAR_ADDRESS (buf, pos), GPT_ADDR, chunk); |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
539 } |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
540 else |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
541 chunk = 0; |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
542 if (chunk < length) |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
543 bcopy (BUF_CHAR_ADDRESS (buf, pos + chunk), |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
544 GPT_ADDR + chunk, length - chunk); |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
545 |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
546 #ifdef USE_TEXT_PROPERTIES |
10311
0de21e27722f
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10145
diff
changeset
|
547 if (BUF_INTERVALS (current_buffer) != 0) |
9656
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
548 offset_intervals (current_buffer, PT, length); |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
549 #endif |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
550 |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
551 GAP_SIZE -= length; |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
552 GPT += length; |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
553 ZV += length; |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
554 Z += length; |
11474
510885be2758
(insert_1): Adjust overlay center after inserting.
Karl Heuer <kwzh@gnu.org>
parents:
11235
diff
changeset
|
555 adjust_overlays_for_insert (PT, length); |
12997
938dc2491820
(adjust_markers_for_insert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
12798
diff
changeset
|
556 adjust_markers_for_insert (PT, length); |
9656
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
557 adjust_point (length); |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
558 |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
559 /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */ |
10311
0de21e27722f
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10145
diff
changeset
|
560 graft_intervals_into_buffer (copy_intervals (BUF_INTERVALS (buf), |
0de21e27722f
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10145
diff
changeset
|
561 pos, length), |
9656
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
562 PT - length, length, current_buffer, inherit); |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
563 } |
e6cb99e4370c
(insert_from_buffer, insert_from_buffer_1): New functions.
Karl Heuer <kwzh@gnu.org>
parents:
9646
diff
changeset
|
564 |
157 | 565 /* Insert the character C before point */ |
566 | |
567 void | |
568 insert_char (c) | |
569 unsigned char c; | |
570 { | |
571 insert (&c, 1); | |
572 } | |
573 | |
574 /* Insert the null-terminated string S before point */ | |
575 | |
576 void | |
577 insert_string (s) | |
578 char *s; | |
579 { | |
580 insert (s, strlen (s)); | |
581 } | |
582 | |
583 /* Like `insert' except that all markers pointing at the place where | |
584 the insertion happens are adjusted to point after it. | |
585 Don't use this function to insert part of a Lisp string, | |
586 since gc could happen and relocate it. */ | |
587 | |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
588 void |
157 | 589 insert_before_markers (string, length) |
590 unsigned char *string; | |
591 register int length; | |
592 { | |
6739
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
593 if (length > 0) |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
594 { |
7108 | 595 register int opoint = PT; |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
596 insert_1 (string, length, 0, 1); |
6739
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
597 adjust_markers (opoint - 1, opoint, length); |
7108 | 598 signal_after_change (PT-length, 0, length); |
6739
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
599 } |
157 | 600 } |
601 | |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
602 void |
8668
011660f7aae9
(insert_before_markers_and_inherit): New function.
Richard M. Stallman <rms@gnu.org>
parents:
8647
diff
changeset
|
603 insert_before_markers_and_inherit (string, length) |
011660f7aae9
(insert_before_markers_and_inherit): New function.
Richard M. Stallman <rms@gnu.org>
parents:
8647
diff
changeset
|
604 unsigned char *string; |
011660f7aae9
(insert_before_markers_and_inherit): New function.
Richard M. Stallman <rms@gnu.org>
parents:
8647
diff
changeset
|
605 register int length; |
011660f7aae9
(insert_before_markers_and_inherit): New function.
Richard M. Stallman <rms@gnu.org>
parents:
8647
diff
changeset
|
606 { |
011660f7aae9
(insert_before_markers_and_inherit): New function.
Richard M. Stallman <rms@gnu.org>
parents:
8647
diff
changeset
|
607 if (length > 0) |
011660f7aae9
(insert_before_markers_and_inherit): New function.
Richard M. Stallman <rms@gnu.org>
parents:
8647
diff
changeset
|
608 { |
011660f7aae9
(insert_before_markers_and_inherit): New function.
Richard M. Stallman <rms@gnu.org>
parents:
8647
diff
changeset
|
609 register int opoint = PT; |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
610 insert_1 (string, length, 1, 1); |
8668
011660f7aae9
(insert_before_markers_and_inherit): New function.
Richard M. Stallman <rms@gnu.org>
parents:
8647
diff
changeset
|
611 adjust_markers (opoint - 1, opoint, length); |
011660f7aae9
(insert_before_markers_and_inherit): New function.
Richard M. Stallman <rms@gnu.org>
parents:
8647
diff
changeset
|
612 signal_after_change (PT-length, 0, length); |
011660f7aae9
(insert_before_markers_and_inherit): New function.
Richard M. Stallman <rms@gnu.org>
parents:
8647
diff
changeset
|
613 } |
011660f7aae9
(insert_before_markers_and_inherit): New function.
Richard M. Stallman <rms@gnu.org>
parents:
8647
diff
changeset
|
614 } |
011660f7aae9
(insert_before_markers_and_inherit): New function.
Richard M. Stallman <rms@gnu.org>
parents:
8647
diff
changeset
|
615 |
157 | 616 /* Insert part of a Lisp string, relocating markers after. */ |
617 | |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
618 void |
4712
367dc6ff392c
(insert_from_string): Pass extra arg to graft_intervals_into_buffer.
Richard M. Stallman <rms@gnu.org>
parents:
4696
diff
changeset
|
619 insert_from_string_before_markers (string, pos, length, inherit) |
157 | 620 Lisp_Object string; |
621 register int pos, length; | |
4712
367dc6ff392c
(insert_from_string): Pass extra arg to graft_intervals_into_buffer.
Richard M. Stallman <rms@gnu.org>
parents:
4696
diff
changeset
|
622 int inherit; |
157 | 623 { |
6739
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
624 if (length > 0) |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
625 { |
7108 | 626 register int opoint = PT; |
6739
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
627 insert_from_string_1 (string, pos, length, inherit); |
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
628 adjust_markers (opoint - 1, opoint, length); |
7108 | 629 signal_after_change (PT-length, 0, length); |
6739
6b0dd4aeca67
(insert_1): New function, extracted from insert.
Karl Heuer <kwzh@gnu.org>
parents:
6126
diff
changeset
|
630 } |
157 | 631 } |
632 | |
633 /* Delete characters in current buffer | |
634 from FROM up to (but not including) TO. */ | |
635 | |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
636 void |
157 | 637 del_range (from, to) |
638 register int from, to; | |
639 { | |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
640 del_range_1 (from, to, 1); |
6126
47d2f8f84309
(del_range_1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
5237
diff
changeset
|
641 } |
47d2f8f84309
(del_range_1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
5237
diff
changeset
|
642 |
47d2f8f84309
(del_range_1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
5237
diff
changeset
|
643 /* Like del_range; PREPARE says whether to call prepare_to_modify_buffer. */ |
47d2f8f84309
(del_range_1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
5237
diff
changeset
|
644 |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
645 void |
6126
47d2f8f84309
(del_range_1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
5237
diff
changeset
|
646 del_range_1 (from, to, prepare) |
47d2f8f84309
(del_range_1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
5237
diff
changeset
|
647 register int from, to, prepare; |
47d2f8f84309
(del_range_1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
5237
diff
changeset
|
648 { |
157 | 649 register int numdel; |
650 | |
651 /* Make args be valid */ | |
652 if (from < BEGV) | |
653 from = BEGV; | |
654 if (to > ZV) | |
655 to = ZV; | |
656 | |
657 if ((numdel = to - from) <= 0) | |
658 return; | |
659 | |
660 /* Make sure the gap is somewhere in or next to what we are deleting. */ | |
661 if (from > GPT) | |
662 gap_right (from); | |
663 if (to < GPT) | |
664 gap_left (to, 0); | |
665 | |
6126
47d2f8f84309
(del_range_1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
5237
diff
changeset
|
666 if (prepare) |
47d2f8f84309
(del_range_1): New function.
Richard M. Stallman <rms@gnu.org>
parents:
5237
diff
changeset
|
667 prepare_to_modify_buffer (from, to); |
157 | 668 |
14479
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
669 /* Relocate all markers pointing into the new, larger gap |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
670 to point at the end of the text before the gap. |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
671 This has to be done before recording the deletion, |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
672 so undo handles this after reinserting the text. */ |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
673 adjust_markers (to + GAP_SIZE, to + GAP_SIZE, - numdel - GAP_SIZE); |
69fa625812a4
(adjust_markers): When a marker is inside text
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
674 |
1247
8dce1588f37f
(del_range): Call record_delete before updating point.
Richard M. Stallman <rms@gnu.org>
parents:
484
diff
changeset
|
675 record_delete (from, numdel); |
8dce1588f37f
(del_range): Call record_delete before updating point.
Richard M. Stallman <rms@gnu.org>
parents:
484
diff
changeset
|
676 MODIFF++; |
8dce1588f37f
(del_range): Call record_delete before updating point.
Richard M. Stallman <rms@gnu.org>
parents:
484
diff
changeset
|
677 |
157 | 678 /* Relocate point as if it were a marker. */ |
7108 | 679 if (from < PT) |
7109 | 680 adjust_point (from - (PT < to ? PT : to)); |
157 | 681 |
1963
05dd60327cc4
(del_range): Update point before offset_intervals.
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
682 /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */ |
5237
378540cf056f
(del_range): Second argument in call to
Richard M. Stallman <rms@gnu.org>
parents:
5168
diff
changeset
|
683 offset_intervals (current_buffer, from, - numdel); |
1963
05dd60327cc4
(del_range): Update point before offset_intervals.
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
684 |
11474
510885be2758
(insert_1): Adjust overlay center after inserting.
Karl Heuer <kwzh@gnu.org>
parents:
11235
diff
changeset
|
685 /* Adjust the overlay center as needed. This must be done after |
12617 | 686 adjusting the markers that bound the overlays. */ |
11474
510885be2758
(insert_1): Adjust overlay center after inserting.
Karl Heuer <kwzh@gnu.org>
parents:
11235
diff
changeset
|
687 adjust_overlays_for_delete (from, numdel); |
510885be2758
(insert_1): Adjust overlay center after inserting.
Karl Heuer <kwzh@gnu.org>
parents:
11235
diff
changeset
|
688 |
157 | 689 GAP_SIZE += numdel; |
690 ZV -= numdel; | |
691 Z -= numdel; | |
692 GPT = from; | |
693 | |
694 if (GPT - BEG < beg_unchanged) | |
695 beg_unchanged = GPT - BEG; | |
696 if (Z - GPT < end_unchanged) | |
697 end_unchanged = Z - GPT; | |
698 | |
8840
7242936baf4e
(del_range_1): Call evaporate_overlays after deleting text.
Karl Heuer <kwzh@gnu.org>
parents:
8687
diff
changeset
|
699 evaporate_overlays (from); |
157 | 700 signal_after_change (from, numdel, 0); |
701 } | |
702 | |
2783
789c11177579
The text property routines can now modify buffers other
Jim Blandy <jimb@redhat.com>
parents:
2480
diff
changeset
|
703 /* Call this if you're about to change the region of BUFFER from START |
789c11177579
The text property routines can now modify buffers other
Jim Blandy <jimb@redhat.com>
parents:
2480
diff
changeset
|
704 to END. This checks the read-only properties of the region, calls |
789c11177579
The text property routines can now modify buffers other
Jim Blandy <jimb@redhat.com>
parents:
2480
diff
changeset
|
705 the necessary modification hooks, and warns the next redisplay that |
789c11177579
The text property routines can now modify buffers other
Jim Blandy <jimb@redhat.com>
parents:
2480
diff
changeset
|
706 it should pay attention to that area. */ |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
707 void |
2783
789c11177579
The text property routines can now modify buffers other
Jim Blandy <jimb@redhat.com>
parents:
2480
diff
changeset
|
708 modify_region (buffer, start, end) |
789c11177579
The text property routines can now modify buffers other
Jim Blandy <jimb@redhat.com>
parents:
2480
diff
changeset
|
709 struct buffer *buffer; |
157 | 710 int start, end; |
711 { | |
2783
789c11177579
The text property routines can now modify buffers other
Jim Blandy <jimb@redhat.com>
parents:
2480
diff
changeset
|
712 struct buffer *old_buffer = current_buffer; |
789c11177579
The text property routines can now modify buffers other
Jim Blandy <jimb@redhat.com>
parents:
2480
diff
changeset
|
713 |
789c11177579
The text property routines can now modify buffers other
Jim Blandy <jimb@redhat.com>
parents:
2480
diff
changeset
|
714 if (buffer != old_buffer) |
789c11177579
The text property routines can now modify buffers other
Jim Blandy <jimb@redhat.com>
parents:
2480
diff
changeset
|
715 set_buffer_internal (buffer); |
789c11177579
The text property routines can now modify buffers other
Jim Blandy <jimb@redhat.com>
parents:
2480
diff
changeset
|
716 |
157 | 717 prepare_to_modify_buffer (start, end); |
718 | |
719 if (start - 1 < beg_unchanged || unchanged_modified == MODIFF) | |
720 beg_unchanged = start - 1; | |
721 if (Z - end < end_unchanged | |
722 || unchanged_modified == MODIFF) | |
723 end_unchanged = Z - end; | |
5237
378540cf056f
(del_range): Second argument in call to
Richard M. Stallman <rms@gnu.org>
parents:
5168
diff
changeset
|
724 |
10311
0de21e27722f
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10145
diff
changeset
|
725 if (MODIFF <= SAVE_MODIFF) |
5237
378540cf056f
(del_range): Second argument in call to
Richard M. Stallman <rms@gnu.org>
parents:
5168
diff
changeset
|
726 record_first_change (); |
157 | 727 MODIFF++; |
2783
789c11177579
The text property routines can now modify buffers other
Jim Blandy <jimb@redhat.com>
parents:
2480
diff
changeset
|
728 |
10564
69cae342dde5
(modify_region): Clear point_before_scroll field.
Richard M. Stallman <rms@gnu.org>
parents:
10391
diff
changeset
|
729 buffer->point_before_scroll = Qnil; |
69cae342dde5
(modify_region): Clear point_before_scroll field.
Richard M. Stallman <rms@gnu.org>
parents:
10391
diff
changeset
|
730 |
2783
789c11177579
The text property routines can now modify buffers other
Jim Blandy <jimb@redhat.com>
parents:
2480
diff
changeset
|
731 if (buffer != old_buffer) |
789c11177579
The text property routines can now modify buffers other
Jim Blandy <jimb@redhat.com>
parents:
2480
diff
changeset
|
732 set_buffer_internal (old_buffer); |
157 | 733 } |
734 | |
735 /* Check that it is okay to modify the buffer between START and END. | |
1289
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
736 Run the before-change-function, if any. If intervals are in use, |
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
737 verify that the text to be modified is not read-only, and call |
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
738 any modification properties the text may have. */ |
157 | 739 |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
740 void |
157 | 741 prepare_to_modify_buffer (start, end) |
742 Lisp_Object start, end; | |
743 { | |
484 | 744 if (!NILP (current_buffer->read_only)) |
157 | 745 Fbarf_if_buffer_read_only (); |
746 | |
1289
74b26ab86df4
* insdel.c: #include "intervals.h"
Joseph Arceneaux <jla@gnu.org>
parents:
1247
diff
changeset
|
747 /* Only defined if Emacs is compiled with USE_TEXT_PROPERTIES */ |
10311
0de21e27722f
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10145
diff
changeset
|
748 if (BUF_INTERVALS (current_buffer) != 0) |
8687
ae896adcb7a3
(prepare_to_modify_buffer): Don't call verify_overlay_modification if
Richard M. Stallman <rms@gnu.org>
parents:
8668
diff
changeset
|
749 verify_interval_modification (current_buffer, start, end); |
157 | 750 |
751 #ifdef CLASH_DETECTION | |
11657
ab5f12280452
(prepare_to_modify_buffer): Use file_truename for locking.
Richard M. Stallman <rms@gnu.org>
parents:
11474
diff
changeset
|
752 if (!NILP (current_buffer->file_truename) |
12621
e71c530e5ae5
(prepare_to_modify_buffer): Don't lock the file
Richard M. Stallman <rms@gnu.org>
parents:
12617
diff
changeset
|
753 /* Make binding buffer-file-name to nil effective. */ |
e71c530e5ae5
(prepare_to_modify_buffer): Don't lock the file
Richard M. Stallman <rms@gnu.org>
parents:
12617
diff
changeset
|
754 && !NILP (current_buffer->filename) |
10311
0de21e27722f
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10145
diff
changeset
|
755 && SAVE_MODIFF >= MODIFF) |
11657
ab5f12280452
(prepare_to_modify_buffer): Use file_truename for locking.
Richard M. Stallman <rms@gnu.org>
parents:
11474
diff
changeset
|
756 lock_file (current_buffer->file_truename); |
157 | 757 #else |
758 /* At least warn if this file has changed on disk since it was visited. */ | |
484 | 759 if (!NILP (current_buffer->filename) |
10311
0de21e27722f
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10145
diff
changeset
|
760 && SAVE_MODIFF >= MODIFF |
484 | 761 && NILP (Fverify_visited_file_modtime (Fcurrent_buffer ())) |
762 && !NILP (Ffile_exists_p (current_buffer->filename))) | |
157 | 763 call1 (intern ("ask-user-about-supersession-threat"), |
764 current_buffer->filename); | |
765 #endif /* not CLASH_DETECTION */ | |
766 | |
767 signal_before_change (start, end); | |
2050
3ffbf2314074
(prepare_to_modify_buffer): Set Vdeactivate_mark.
Richard M. Stallman <rms@gnu.org>
parents:
2019
diff
changeset
|
768 |
9409
f5590c0b1756
* insdel.c (prepare_to_modify_buffer): Invalidate width run and
Jim Blandy <jimb@redhat.com>
parents:
9391
diff
changeset
|
769 if (current_buffer->newline_cache) |
f5590c0b1756
* insdel.c (prepare_to_modify_buffer): Invalidate width run and
Jim Blandy <jimb@redhat.com>
parents:
9391
diff
changeset
|
770 invalidate_region_cache (current_buffer, |
f5590c0b1756
* insdel.c (prepare_to_modify_buffer): Invalidate width run and
Jim Blandy <jimb@redhat.com>
parents:
9391
diff
changeset
|
771 current_buffer->newline_cache, |
f5590c0b1756
* insdel.c (prepare_to_modify_buffer): Invalidate width run and
Jim Blandy <jimb@redhat.com>
parents:
9391
diff
changeset
|
772 start - BEG, Z - end); |
f5590c0b1756
* insdel.c (prepare_to_modify_buffer): Invalidate width run and
Jim Blandy <jimb@redhat.com>
parents:
9391
diff
changeset
|
773 if (current_buffer->width_run_cache) |
f5590c0b1756
* insdel.c (prepare_to_modify_buffer): Invalidate width run and
Jim Blandy <jimb@redhat.com>
parents:
9391
diff
changeset
|
774 invalidate_region_cache (current_buffer, |
f5590c0b1756
* insdel.c (prepare_to_modify_buffer): Invalidate width run and
Jim Blandy <jimb@redhat.com>
parents:
9391
diff
changeset
|
775 current_buffer->width_run_cache, |
f5590c0b1756
* insdel.c (prepare_to_modify_buffer): Invalidate width run and
Jim Blandy <jimb@redhat.com>
parents:
9391
diff
changeset
|
776 start - BEG, Z - end); |
f5590c0b1756
* insdel.c (prepare_to_modify_buffer): Invalidate width run and
Jim Blandy <jimb@redhat.com>
parents:
9391
diff
changeset
|
777 |
2050
3ffbf2314074
(prepare_to_modify_buffer): Set Vdeactivate_mark.
Richard M. Stallman <rms@gnu.org>
parents:
2019
diff
changeset
|
778 Vdeactivate_mark = Qt; |
157 | 779 } |
780 | |
3591
507f64624555
Apply typo patches from Paul Eggert.
Jim Blandy <jimb@redhat.com>
parents:
2783
diff
changeset
|
781 /* Signal a change to the buffer immediately before it happens. |
157 | 782 START and END are the bounds of the text to be changed, |
783 as Lisp objects. */ | |
784 | |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
785 void |
157 | 786 signal_before_change (start, end) |
787 Lisp_Object start, end; | |
788 { | |
789 /* If buffer is unmodified, run a special hook for that case. */ | |
10311
0de21e27722f
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10145
diff
changeset
|
790 if (SAVE_MODIFF >= MODIFF |
1821
04fb1d3d6992
JimB's changes since January 18th
Jim Blandy <jimb@redhat.com>
parents:
1289
diff
changeset
|
791 && !NILP (Vfirst_change_hook) |
04fb1d3d6992
JimB's changes since January 18th
Jim Blandy <jimb@redhat.com>
parents:
1289
diff
changeset
|
792 && !NILP (Vrun_hooks)) |
04fb1d3d6992
JimB's changes since January 18th
Jim Blandy <jimb@redhat.com>
parents:
1289
diff
changeset
|
793 call1 (Vrun_hooks, Qfirst_change_hook); |
04fb1d3d6992
JimB's changes since January 18th
Jim Blandy <jimb@redhat.com>
parents:
1289
diff
changeset
|
794 |
12784
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
795 /* Run the before-change-function if any. |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
796 We don't bother "binding" this variable to nil |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
797 because it is obsolete anyway and new code should not use it. */ |
484 | 798 if (!NILP (Vbefore_change_function)) |
12784
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
799 call2 (Vbefore_change_function, start, end); |
6787
4fcd24cee757
(before_change_functions_restore):
Richard M. Stallman <rms@gnu.org>
parents:
6739
diff
changeset
|
800 |
12784
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
801 /* Now run the before-change-functions if any. */ |
6787
4fcd24cee757
(before_change_functions_restore):
Richard M. Stallman <rms@gnu.org>
parents:
6739
diff
changeset
|
802 if (!NILP (Vbefore_change_functions)) |
4fcd24cee757
(before_change_functions_restore):
Richard M. Stallman <rms@gnu.org>
parents:
6739
diff
changeset
|
803 { |
12784
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
804 Lisp_Object args[3]; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
805 Lisp_Object before_change_functions; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
806 Lisp_Object after_change_functions; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
807 struct gcpro gcpro1, gcpro2; |
6787
4fcd24cee757
(before_change_functions_restore):
Richard M. Stallman <rms@gnu.org>
parents:
6739
diff
changeset
|
808 |
12784
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
809 /* "Bind" before-change-functions and after-change-functions |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
810 to nil--but in a way that errors don't know about. |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
811 That way, if there's an error in them, they will stay nil. */ |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
812 before_change_functions = Vbefore_change_functions; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
813 after_change_functions = Vafter_change_functions; |
12798
9ac61661054b
(signal_before_change, signal_after_change): Fix
Karl Heuer <kwzh@gnu.org>
parents:
12784
diff
changeset
|
814 Vbefore_change_functions = Qnil; |
9ac61661054b
(signal_before_change, signal_after_change): Fix
Karl Heuer <kwzh@gnu.org>
parents:
12784
diff
changeset
|
815 Vafter_change_functions = Qnil; |
12784
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
816 GCPRO2 (before_change_functions, after_change_functions); |
6787
4fcd24cee757
(before_change_functions_restore):
Richard M. Stallman <rms@gnu.org>
parents:
6739
diff
changeset
|
817 |
12784
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
818 /* Actually run the hook functions. */ |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
819 args[0] = Qbefore_change_functions; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
820 args[1] = start; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
821 args[2] = end; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
822 run_hook_list_with_args (before_change_functions, 3, args); |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
823 |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
824 /* "Unbind" the variables we "bound" to nil. */ |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
825 Vbefore_change_functions = before_change_functions; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
826 Vafter_change_functions = after_change_functions; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
827 UNGCPRO; |
6787
4fcd24cee757
(before_change_functions_restore):
Richard M. Stallman <rms@gnu.org>
parents:
6739
diff
changeset
|
828 } |
10144
607074ed1c6d
(signal_before_change, signal_after_change):
Richard M. Stallman <rms@gnu.org>
parents:
9685
diff
changeset
|
829 |
607074ed1c6d
(signal_before_change, signal_after_change):
Richard M. Stallman <rms@gnu.org>
parents:
9685
diff
changeset
|
830 if (!NILP (current_buffer->overlays_before) |
607074ed1c6d
(signal_before_change, signal_after_change):
Richard M. Stallman <rms@gnu.org>
parents:
9685
diff
changeset
|
831 || !NILP (current_buffer->overlays_after)) |
10145
0091da658d85
* buffer.c (report_overlay_modification): Renamed from
Richard M. Stallman <rms@gnu.org>
parents:
10144
diff
changeset
|
832 report_overlay_modification (start, end, 0, start, end, Qnil); |
157 | 833 } |
834 | |
3591
507f64624555
Apply typo patches from Paul Eggert.
Jim Blandy <jimb@redhat.com>
parents:
2783
diff
changeset
|
835 /* Signal a change immediately after it happens. |
157 | 836 POS is the address of the start of the changed text. |
837 LENDEL is the number of characters of the text before the change. | |
838 (Not the whole buffer; just the part that was changed.) | |
15123
d6106d651a71
(signal_after_change): Correct the arg to report_overlay_modification.
Richard M. Stallman <rms@gnu.org>
parents:
14479
diff
changeset
|
839 LENINS is the number of characters in that part of the text |
d6106d651a71
(signal_after_change): Correct the arg to report_overlay_modification.
Richard M. Stallman <rms@gnu.org>
parents:
14479
diff
changeset
|
840 after the change. */ |
157 | 841 |
10391
55428c377c84
Declare all non-returning functions `void'.
Karl Heuer <kwzh@gnu.org>
parents:
10311
diff
changeset
|
842 void |
157 | 843 signal_after_change (pos, lendel, lenins) |
844 int pos, lendel, lenins; | |
845 { | |
12784
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
846 /* Run the after-change-function if any. |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
847 We don't bother "binding" this variable to nil |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
848 because it is obsolete anyway and new code should not use it. */ |
484 | 849 if (!NILP (Vafter_change_function)) |
12784
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
850 call3 (Vafter_change_function, |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
851 make_number (pos), make_number (pos + lenins), |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
852 make_number (lendel)); |
157 | 853 |
6787
4fcd24cee757
(before_change_functions_restore):
Richard M. Stallman <rms@gnu.org>
parents:
6739
diff
changeset
|
854 if (!NILP (Vafter_change_functions)) |
4fcd24cee757
(before_change_functions_restore):
Richard M. Stallman <rms@gnu.org>
parents:
6739
diff
changeset
|
855 { |
12784
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
856 Lisp_Object args[4]; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
857 Lisp_Object before_change_functions; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
858 Lisp_Object after_change_functions; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
859 struct gcpro gcpro1, gcpro2; |
6787
4fcd24cee757
(before_change_functions_restore):
Richard M. Stallman <rms@gnu.org>
parents:
6739
diff
changeset
|
860 |
12784
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
861 /* "Bind" before-change-functions and after-change-functions |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
862 to nil--but in a way that errors don't know about. |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
863 That way, if there's an error in them, they will stay nil. */ |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
864 before_change_functions = Vbefore_change_functions; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
865 after_change_functions = Vafter_change_functions; |
12798
9ac61661054b
(signal_before_change, signal_after_change): Fix
Karl Heuer <kwzh@gnu.org>
parents:
12784
diff
changeset
|
866 Vbefore_change_functions = Qnil; |
9ac61661054b
(signal_before_change, signal_after_change): Fix
Karl Heuer <kwzh@gnu.org>
parents:
12784
diff
changeset
|
867 Vafter_change_functions = Qnil; |
12784
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
868 GCPRO2 (before_change_functions, after_change_functions); |
6787
4fcd24cee757
(before_change_functions_restore):
Richard M. Stallman <rms@gnu.org>
parents:
6739
diff
changeset
|
869 |
12784
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
870 /* Actually run the hook functions. */ |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
871 args[0] = Qafter_change_functions; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
872 XSETFASTINT (args[1], pos); |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
873 XSETFASTINT (args[2], pos + lenins); |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
874 XSETFASTINT (args[3], lendel); |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
875 run_hook_list_with_args (after_change_functions, |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
876 4, args); |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
877 |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
878 /* "Unbind" the variables we "bound" to nil. */ |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
879 Vbefore_change_functions = before_change_functions; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
880 Vafter_change_functions = after_change_functions; |
0dea0aa2f32d
(signal_before_change, signal_after_change): Major rewrite.
Richard M. Stallman <rms@gnu.org>
parents:
12655
diff
changeset
|
881 UNGCPRO; |
6787
4fcd24cee757
(before_change_functions_restore):
Richard M. Stallman <rms@gnu.org>
parents:
6739
diff
changeset
|
882 } |
10144
607074ed1c6d
(signal_before_change, signal_after_change):
Richard M. Stallman <rms@gnu.org>
parents:
9685
diff
changeset
|
883 |
607074ed1c6d
(signal_before_change, signal_after_change):
Richard M. Stallman <rms@gnu.org>
parents:
9685
diff
changeset
|
884 if (!NILP (current_buffer->overlays_before) |
607074ed1c6d
(signal_before_change, signal_after_change):
Richard M. Stallman <rms@gnu.org>
parents:
9685
diff
changeset
|
885 || !NILP (current_buffer->overlays_after)) |
10145
0091da658d85
* buffer.c (report_overlay_modification): Renamed from
Richard M. Stallman <rms@gnu.org>
parents:
10144
diff
changeset
|
886 report_overlay_modification (make_number (pos), |
15123
d6106d651a71
(signal_after_change): Correct the arg to report_overlay_modification.
Richard M. Stallman <rms@gnu.org>
parents:
14479
diff
changeset
|
887 make_number (pos + lenins), |
10144
607074ed1c6d
(signal_before_change, signal_after_change):
Richard M. Stallman <rms@gnu.org>
parents:
9685
diff
changeset
|
888 1, |
607074ed1c6d
(signal_before_change, signal_after_change):
Richard M. Stallman <rms@gnu.org>
parents:
9685
diff
changeset
|
889 make_number (pos), make_number (pos + lenins), |
607074ed1c6d
(signal_before_change, signal_after_change):
Richard M. Stallman <rms@gnu.org>
parents:
9685
diff
changeset
|
890 make_number (lendel)); |
13026
3ff15e408e2c
(signal_after_change): Call report_interval_modification.
Richard M. Stallman <rms@gnu.org>
parents:
12997
diff
changeset
|
891 |
3ff15e408e2c
(signal_after_change): Call report_interval_modification.
Richard M. Stallman <rms@gnu.org>
parents:
12997
diff
changeset
|
892 /* After an insertion, call the text properties |
3ff15e408e2c
(signal_after_change): Call report_interval_modification.
Richard M. Stallman <rms@gnu.org>
parents:
12997
diff
changeset
|
893 insert-behind-hooks or insert-in-front-hooks. */ |
3ff15e408e2c
(signal_after_change): Call report_interval_modification.
Richard M. Stallman <rms@gnu.org>
parents:
12997
diff
changeset
|
894 if (lendel == 0) |
3ff15e408e2c
(signal_after_change): Call report_interval_modification.
Richard M. Stallman <rms@gnu.org>
parents:
12997
diff
changeset
|
895 report_interval_modification (pos, pos + lenins); |
157 | 896 } |