diff src/gui_w48.c @ 780:4821f16523ba

updated for version 7.0228
author vimboss
date Sat, 18 Mar 2006 21:31:46 +0000
parents 23a639c430c5
children 9f345c48220b
line wrap: on
line diff
--- a/src/gui_w48.c
+++ b/src/gui_w48.c
@@ -1679,7 +1679,7 @@ process_message(void)
 		 * mapped we want to use the mapping instead. */
 		if (vk == VK_F10
 			&& gui.menu_is_active
-			&& check_map(k10, State, FALSE, TRUE) == NULL)
+			&& check_map(k10, State, FALSE, TRUE, FALSE) == NULL)
 		    break;
 #endif
 		if (GetKeyState(VK_SHIFT) & 0x8000)
@@ -1793,7 +1793,7 @@ process_message(void)
     /* Check for <F10>: Default effect is to select the menu.  When <F10> is
      * mapped we need to stop it here to avoid strange effects (e.g., for the
      * key-up event) */
-    if (vk != VK_F10 || check_map(k10, State, FALSE, TRUE) == NULL)
+    if (vk != VK_F10 || check_map(k10, State, FALSE, TRUE, FALSE) == NULL)
 #endif
 	DispatchMessage(&msg);
 }