diff make-dist @ 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 2cadd1e7bd46
children b99080e25b28 7beb78bc1f8e
line wrap: on
line diff