(Fset_window_point): If displaying cursors in windows

other than the selected window, make sure redisplay updates
other windows to show the new value of point in the window.

diff --git a/src/window.c b/src/window.c
index 23dbcbdfa99088178197284dba17609f9332cbfe..d7a81dad0e30a931b7745abd8a12664f81aee2b4 100644 (file)
--- a/src/window.c
+++ b/src/window.c
@@ -898,6 +898,12 @@ DEFUN ("set-window-point", Fset_window_point, Sset_window_point, 2, 2, 0,
     Fgoto_char (pos);
   else
     set_marker_restricted (w->pointm, pos, w->buffer);
+
+  /* If displaying hollow box cursors in non-selected windows, we have
+     to make sure that redisplay updates the window to show the new
+     value of point.  */
+  if (cursor_in_non_selected_windows && !EQ (window, selected_window))
+    ++windows_or_buffers_changed;
   
   return pos;
 }