* src/window.c (select_window): Call second wset_redisplay before we change
authorStefan Monnier <monnier@iro.umontreal.ca>
Wed, 4 Dec 2013 21:08:21 +0000 (16:08 -0500)
committerStefan Monnier <monnier@iro.umontreal.ca>
Wed, 4 Dec 2013 21:08:21 +0000 (16:08 -0500)
commit22800ae936f67b7d0e4c565061aa24d99a4f1010
tree3ed9617dc5c843d73df7f515314a844a3da9967a
parentc521fe29239fc4c6efb16e4854bb02f819c5fc13
* src/window.c (select_window): Call second wset_redisplay before we change
selected_window.

Fixes: debbugs:16034
src/ChangeLog
src/window.c