Fix bug #14408 with updating *Messages* display.
authorEli Zaretskii <eliz@gnu.org>
Thu, 16 May 2013 18:33:27 +0000 (21:33 +0300)
committerEli Zaretskii <eliz@gnu.org>
Thu, 16 May 2013 18:33:27 +0000 (21:33 +0300)
commit5bb98290d7f11fc6b9fb2d8b33277483f5f3ccc4
treecaf01cea96812d4daa34c14b4198fd2b21fbbac4
parent721c9e8a682721c6010c4c685764cd2359baf46b
Fix bug #14408 with updating *Messages* display.

 src/xdisp.c (message_dolog): If the *Messages* buffer is shown in
 some window, increment windows_or_buffers_changed, so that
 *Messages* display in that window is updated.
src/ChangeLog
src/xdisp.c