comparison lispintro/cons-1.eps @ 43472:7faac536665f

(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.
author Jason Rumney <jasonr@gnu.org>
date Sat, 23 Feb 2002 00:04:02 +0000
parents a8ee89e61d20
children 6ad2412f0362
comparison
equal deleted inserted replaced
43471:20574c51c791 43472:7faac536665f