-
Andrew Innes authored
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).
b7b97897