(signal_user_input): New function.
authorJason Rumney <jasonr@gnu.org>
Sat, 11 Mar 2006 23:46:27 +0000 (23:46 +0000)
committerJason Rumney <jasonr@gnu.org>
Sat, 11 Mar 2006 23:46:27 +0000 (23:46 +0000)
commitf0c947b5a090d8a6af3077a91a26a3a98787925d
tree8ec6385c620048664b341609c2eea5ee56d44acd
parentb452fd7aaac9dde74f095c907d5073f702e2cdb4
(signal_user_input): New function.
(post_character_message): Use it for keyboard input.
(w32_msg_pump): Use it for mouse input.
src/w32fns.c