(graft_intervals_into_buffer):
authorRichard M. Stallman <rms@gnu.org>
Sun, 11 Nov 2001 20:02:58 +0000 (20:02 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sun, 11 Nov 2001 20:02:58 +0000 (20:02 +0000)
commit34e096ed98d17af8e2838d8aa97e805302516927
tree538223a872cc42a3e10dc16a290a9b21cba1cd19
parentc77c48d99297ad605f791495f967e9718bb797a1
(graft_intervals_into_buffer):
Use set_text_properties_1 to clear out properties.
src/intervals.c