changeset 34491:f9d400d4653a

(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.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 12 Dec 2000 16:14:01 +0000
parents 2ba48408064e
children c0363a97e5cb
files src/window.c
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/window.c	Tue Dec 12 15:45:39 2000 +0000
+++ b/src/window.c	Tue Dec 12 16:14:01 2000 +0000
@@ -898,6 +898,12 @@
     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;
 }