GitLab

(set_window_height, set_window_width, Fset_window_buffer)
(change_window_height, window_scroll, Fset_window_configuration):
Clear last_overlay_modified field.
(Fpos_visible_in_window_p): Test last_overlay_modified field.