(make_buffer_string): Don't copy intervals
authorRichard M. Stallman <rms@gnu.org>
Tue, 23 Nov 1993 10:38:59 +0000 (10:38 +0000)
committerRichard M. Stallman <rms@gnu.org>
Tue, 23 Nov 1993 10:38:59 +0000 (10:38 +0000)
commit60b96ee7a3b21d041b261c2b44b9c2be23b1810f
treec0e3987c93dd550f2c682ed0afcb296e87544086
parentd2cad97da6baeac455736dc3096cfe021b297206
(make_buffer_string): Don't copy intervals
if we don't really have any properties.

(Finsert_buffer_substring):
Pass graft_intervals_into_buffer the current buffer.
Pass it the extra arg LENGTH.

(Fsubst_char_in_region): Call modify_region only if
a change has to be made.  Call signal_after_change just once, at end.
src/editfns.c