(maybe_generate_resize_event): Detect changes in the
authorAndrew Innes <andrewi@gnu.org>
Sat, 22 May 1999 17:38:01 +0000 (17:38 +0000)
committerAndrew Innes <andrewi@gnu.org>
Sat, 22 May 1999 17:38:01 +0000 (17:38 +0000)
commitb7b978978c1f6b3e2318e495053c6af62c884c04
tree57e8e3a3bf42c2ed7de44f244ad673f29a38e551
parenta5404e3acff33b3edb5136d5271f7e8b04cde2a1
(maybe_generate_resize_event): Detect changes in the
console window size.
(w32_console_read_socket): Call maybe_generate_resize_event
whenever input events are received, since we don't get told when
the window size changes (as opposed to the buffer size, which we
don't care about).
src/w32inevt.c