bug#16034: 24.3.50; scrolling is very long to happen or never happen

[Stefan Monnier <monnier@iro.umontreal.ca>]

> 3) eval this code:
> (with-selected-window (next-window) (scroll-up 12))
> This return nil as expected but the next window to the one handling
> "*scratch*" doesn't move, but wait a certain time (up to one minute or
> more sometimes) and the window finish to scroll.

Should be fixed now, thank to the patch below,


        Stefan


--- src/window.c	2013-12-03 21:37:41 +0000
+++ src/window.c	2013-12-04 18:23:14 +0000
@@ -4732,6 +4731,8 @@
   immediate_quit = 1;
   n = clip_to_bounds (INT_MIN, n, INT_MAX);
 
+  wset_redisplay (XWINDOW (window));
+
   /* If we must, use the pixel-based version which is much slower than
      the line-based one but can handle varying line heights.  */
   if (FRAME_WINDOW_P (XFRAME (XWINDOW (window)->frame)))