Reset window_end_valid after some window changes (Bug#15957).
authorMartin Rudalics <rudalics@gmx.at>
Wed, 27 Nov 2013 07:44:48 +0000 (08:44 +0100)
committerMartin Rudalics <rudalics@gmx.at>
Wed, 27 Nov 2013 07:44:48 +0000 (08:44 +0100)
commit72fdd47303c46def1d91f202c177b7ff9a489441
treef6e5ae78bb789e1d29084bc0e85b1b9292da129d
parent0717822943efa5013dffa1494f528e23d102ae72
Reset window_end_valid after some window changes (Bug#15957).

* window.c (Fset_window_start, window_resize_apply)
(window_scroll): Reset window_end_valid (Bug#15957).
src/ChangeLog
src/window.c