# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 771781110 0
# Node ID e02087efad68c36cd2a5f923af0789dcc266b4fd
# Parent  b87f2c7055016ef61779a2e7f7cf3caa281c0959
(redisplay_window): Don't use shortcut if window_end_vpos is out of date.

diff -r b87f2c705501 -r e02087efad68 src/xdisp.c
--- a/src/xdisp.c	Thu Jun 16 15:14:30 1994 +0000
+++ b/src/xdisp.c	Thu Jun 16 15:38:30 1994 +0000
@@ -1141,6 +1141,9 @@
       /* Can't use this case if highlighting a region.  */
       && !(!NILP (Vtransient_mark_mode) && !NILP (current_buffer->mark_active))
       && NILP (w->region_showing)
+      /* If end pos is out of date, scroll bar and percentage will be wrong */
+      && INTEGERP (w->window_end_vpos)
+      && XFASTINT (w->window_end_vpos) < XFASTINT (w->height)
       && !EQ (window, minibuf_window))
     {
       pos = *compute_motion (startp, 0, (hscroll ? 1 - hscroll : 0),