Re: Windows keyboard input

[Eli Zaretskii]

> From: Jason Hood <address@hidden>
> Date: Sat, 21 Jan 2017 17:55:08 +1000
> 
> Attached is a patch to tweak Windows keyboard handling.  It adds
> a working 'pause_or_input' function, allowing echo area messages
> to be seen.  Windows 10 can now apparently seek console input, so
> just use GetConsoleMode to determine that.  Sets the 'term_??'
> definitions for KEY_HOME, KEY_END (and KEY_INSERT), allowing Home
> and End to be used in the echo area (rather than having to
> explicitly define 'M-<' and 'M->').

Thanks, but shouldn't at least some parts in this patch be conditioned
on running on Windows 10?  I mean, would the code work unaltered on
older systems?