diff configure @ 69426:46a8c3e0161d

(signal_user_input): New function. (post_character_message): Use it for keyboard input. (w32_msg_pump): Use it for mouse input.
author Jason Rumney <jasonr@gnu.org>
date Sat, 11 Mar 2006 23:46:27 +0000
parents ff3786e89e65
children 69fa3d958119 a380ca43a190 a7364c1a561e
line wrap: on
line diff