Update frame title when scrolling the selected window
commit41518e5b6354cf6aa946de2e5b02b728f7b15b8c
authorEli Zaretskii <eliz@gnu.org>
Sat, 24 Oct 2015 15:41:32 +0000 (24 18:41 +0300)
committerEli Zaretskii <eliz@gnu.org>
Sat, 24 Oct 2015 15:41:32 +0000 (24 18:41 +0300)
tree2a13dc43196c3679d7000827f4a9d3bda58f9f34
parent7a6968b45f2b93d984c5c3fcd5fce68d6e5b6ea9
Update frame title when scrolling the selected window

* src/window.c (wset_update_mode_line): New function, sets either the
window's update_mode_line flag or the global update_mode_lines
variable.
(Fset_window_start, set_window_buffer, window_scroll_pixel_based)
(window_scroll_line_based): Call it instead of only setting the
window's update_mode_line flag.
src/window.c