diff config.bat @ 34621:0a811c1d7a1d

(expose_window): Don't redraw the window that's currently being updated.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 15 Dec 2000 17:14:07 +0000
parents e1e1d5816d44
children 6722a8132e56
line wrap: on
line diff