* src/window.c (window_scroll): Mark window for redisplay.
authorStefan Monnier <monnier@iro.umontreal.ca>
Wed, 4 Dec 2013 18:46:47 +0000 (13:46 -0500)
committerStefan Monnier <monnier@iro.umontreal.ca>
Wed, 4 Dec 2013 18:46:47 +0000 (13:46 -0500)
commit5961ad6cd28bd92d171949a03f362f069da82dec
tree398e2b6adab82ed195ce82fc785a00a7b45b13da
parentad82612405604b7d20d86fe6b3283f91bee5e60a
* src/window.c (window_scroll): Mark window for redisplay.
(scroll_command, Fscroll_other_window): Don't cause redisplay now that
window_scroll takes care of it.
(Fset_window_point, Fdelete_other_windows_internal)
(set_window_buffer, Fwindow_resize_apply, resize_frame_windows)
(Fsplit_window_internal, Fdelete_window_internal)
(Fresize_mini_window_internal, Fset_window_configuration)
(apply_window_adjustment): Use fset_redisplay and wset_redisplay to
cause redisplay instead of forcing a complete redisplay.
* src/xdisp.c (wset_redisplay): Don't set windows_or_buffers_changed if
we're only affecting the selected_window.

Fixes: debbugs:16034
src/ChangeLog
src/window.c
src/xdisp.c