diff options
| author | Bram Moolenaar <Bram@vim.org> | 2005-05-20 21:22:17 +0000 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2005-05-20 21:22:17 +0000 |
| commit | c1087e64bcfece96de8fa812535154435bbaaba5 (patch) | |
| tree | e9dac962f08979f987611f73c87d0a4d70b96d4a /src/gui_w48.c | |
| parent | 686f51ef8e2fea4b13150bfae39e1273ce0af4c0 (diff) | |
updated for version 7.0074
Diffstat (limited to 'src/gui_w48.c')
| -rw-r--r-- | src/gui_w48.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gui_w48.c b/src/gui_w48.c index 2e09655837..48a87d9453 100644 --- a/src/gui_w48.c +++ b/src/gui_w48.c @@ -1667,7 +1667,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) == NULL) + && check_map(k10, State, FALSE, TRUE) == NULL) break; #endif if (GetKeyState(VK_SHIFT) & 0x8000) @@ -1781,7 +1781,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) == NULL) + if (vk != VK_F10 || check_map(k10, State, FALSE, TRUE) == NULL) #endif DispatchMessage(&msg); } |