diff man/mini.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 de2f745df406
children 5be168598322
line wrap: on
line diff