diff src/w32gui.h @ 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 ee40177f6c68
children c686d4f3728a
line wrap: on
line diff