diff options
| author | Bram Moolenaar <Bram@vim.org> | 2006-03-18 21:31:46 +0000 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2006-03-18 21:31:46 +0000 |
| commit | 8d6ea5eb4f69ea5929dc6e990bb3fadf557a330a (patch) | |
| tree | 830389d3024a9b8f85a84fed62cc9e9dc4264fd3 /src/gui_w48.c | |
| parent | be4d506b5fef4e5da5f24f036302a5723a2d2e9c (diff) | |
| download | vim-git-8d6ea5eb4f69ea5929dc6e990bb3fadf557a330a.tar.gz | |
updated for version 7.0228
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 3aa028ee4..35c215ac9 100644 --- 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); } |