diff src/w32inevt.c @ 16208:e3a834653117

(Fset_window_start): Clear last_overlay_modified field. (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.
author Richard M. Stallman <rms@gnu.org>
date Mon, 16 Sep 1996 06:29:40 +0000
parents 75547616a6fe
children 481b7874a1e9
line wrap: on
line diff