(modify_overlay): Don't do nothing if START == END;
authorGerd Moellmann <gerd@gnu.org>
Tue, 18 Sep 2001 12:20:53 +0000 (12:20 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 18 Sep 2001 12:20:53 +0000 (12:20 +0000)
commit26f545d7f8efb31dcfb49fd643f448f34343d7bd
treef5448a3917f15eb71eb3889eae9805f2d7da4bb1
parent1270031d86a63187c6112c144b5f1a83cf15f510
(modify_overlay): Don't do nothing if START == END;
This can still be a modification, for example when an overlay has
a before-string or after-string.
(Fdelete_overlay): Prevent redisplay optimizations when deleting
an overlay with before-string or after-string.
src/buffer.c