Fix Fwindow_end's handling of cached position (Bug#12600).
commitdca778d53aad12df44dbac8f99c288fa4f9f04b2
authorMartin Rudalics <rudalics@gmx.at>
Mon, 15 Oct 2012 09:03:56 +0000 (15 11:03 +0200)
committerMartin Rudalics <rudalics@gmx.at>
Mon, 15 Oct 2012 09:03:56 +0000 (15 11:03 +0200)
tree2f33b5d4c67298a64b319c8ff62a81f11b2f9f35
parentd18a0d2460cbcf73f9bd136912006fc0c11f55e0
Fix Fwindow_end's handling of cached position (Bug#12600).

* window.c (Fwindow_end): Rewrite check whether cached position
can be used (Bug#12600).
(resize_frame_windows, grow_mini_window, shrink_mini_window):
Set windows_or_buffers_changed.
src/ChangeLog
src/window.c