diff man/help.texi @ 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 eaeec47bf5fe
children dfc7817ae834
line wrap: on
line diff