(Fset_window_point): If displaying cursors in windows
authorGerd Moellmann <gerd@gnu.org>
Tue, 12 Dec 2000 16:14:01 +0000 (16:14 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 12 Dec 2000 16:14:01 +0000 (16:14 +0000)
commit799417bd9433225627580715a7b286856ac861e8
tree80f47aba8890e0e663c970cd5339f1bbd66a9c66
parenta7a07b983f77af0f2273b4724e08075cacadce5e
(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.
src/window.c