* src/window.c (select_window): `record_buffer' even if window is
authorStefan Monnier <monnier@iro.umontreal.ca>
Fri, 12 Apr 2013 17:32:52 +0000 (13:32 -0400)
committerStefan Monnier <monnier@iro.umontreal.ca>
Fri, 12 Apr 2013 17:32:52 +0000 (13:32 -0400)
commit562c6ee9450073547ae45e88116cfc213c2254e0
tree39a80f3fc5dc0b59fa068ea2d44c7028c53c328c
parent320742098b941833731b20d4bd2de7cc4c93ec76
* src/window.c (select_window): `record_buffer' even if window is
already selected.

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