* buffer.c (Fmove_overlay): If the overlay is changing buffers,
authorJim Blandy <jimb@redhat.com>
Fri, 28 May 1993 06:50:23 +0000 (06:50 +0000)
committerJim Blandy <jimb@redhat.com>
Fri, 28 May 1993 06:50:23 +0000 (06:50 +0000)
commitc82ed7283a2bcc9264e93dda3b832d6189b4d331
tree903e8fb9dc11d60d9bddd6de32714c1ba6ec1355
parent312b93ee500d60acb4d75dd056f5fbd068f6b32a
* buffer.c (Fmove_overlay): If the overlay is changing buffers,
do a thorough redisplay.
src/buffer.c