diff etc/gnu.xpm @ 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 23a1cea22d13
children
line wrap: on
line diff