* w32inevt.c (movement_time, w32_console_mouse_position): Likewise.
Attach a file by drag & drop or click to upload