-
Gerd Moellmann authored
other than the selected window, make sure redisplay updates other windows to show the new value of point in the window.
799417bd
other than the selected window, make sure redisplay updates other windows to show the new value of point in the window.