diff src/w32gui.h @ 25375:919b568e4108

(Fset_window_hscroll): Set prevent_redisplay_optimizations_p instead of clip_changed. (Fset_window_hscroll): Ditto. (temp_output_buffer_show): Ditto. (Fset_window_vscroll): Ditto.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 23 Aug 1999 00:11:51 +0000
parents 236627b268cc
children d6331257c601
line wrap: on
line diff