(redisplay_internal): Set windows_or_buffers_changed
commit6961e0c1c8e194c1403cbb6c64eec7a56f4d19d8
authorGerd Moellmann <gerd@gnu.org>
Tue, 6 Mar 2001 13:50:09 +0000 (6 13:50 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 6 Mar 2001 13:50:09 +0000 (6 13:50 +0000)
treeee1c89977383fd14d94d96bdcfb47f8dddda6088
parent106e96bd537c1503e871e91460e09f9a6745cf27
(redisplay_internal): Set windows_or_buffers_changed
if face_change_count is non-zero.
src/xdisp.c