(mouse_move_timer, mouse_button_timer): Initialize.
authorJason Rumney <jasonr@gnu.org>
Sat, 23 Feb 2002 00:07:22 +0000 (00:07 +0000)
committerJason Rumney <jasonr@gnu.org>
Sat, 23 Feb 2002 00:07:22 +0000 (00:07 +0000)
commit48094ace89162b049f2bd9c1ce05488593fd1c5e
tree72fa566e2a6ad5162f49f1d32379d249593d8c75
parent71f6b2951950a0a42dce3a62796080f606d50f6e
(mouse_move_timer, mouse_button_timer): Initialize.
(menu_free_timer): New variable.
(MENU_FREE_ID, MENU_FREE_DELAY): New constants.
(w32_wnd_proc) <WM_TIMER>: Handle menu_free_timer.
<WM_EXITMENULOOP>: Delay before freeing menu.  Do nothing if a
menu command is in progress.
<WM_COMMAND>: Set the menu_command_in_progress flag.  Kill
any menu_free_timer that is running.
src/ChangeLog
src/w32fns.c