diff options
-rw-r--r-- | main_gui.c | 5 | ||||
-rw-r--r-- | sdl.c | 1 | ||||
-rw-r--r-- | win32.c | 1 | ||||
-rw-r--r-- | window.h | 1 |
4 files changed, 7 insertions, 1 deletions
diff --git a/main_gui.c b/main_gui.c index 18a6ab132..dbacc2d67 100644 --- a/main_gui.c +++ b/main_gui.c @@ -1681,7 +1681,10 @@ static void MainToolbarWndProc(Window *w, WindowEvent *e) if (local == 0xff) local = 0; // spectator switch(e->keypress.keycode) { - case WKC_F1: ToolbarPauseClick(w); break; + case WKC_F1: + case WKC_PAUSE: + ToolbarPauseClick(w); + break; case WKC_F2: ShowGameOptions(); break; case WKC_F3: MenuClickSaveLoad(0); break; case WKC_F4: ShowSmallMap(); break; @@ -357,6 +357,7 @@ static const VkMapping _vk_mapping[] = { AM(SDLK_0, SDLK_9, '0', '9'), AS(SDLK_ESCAPE, WKC_ESC), + AS(SDLK_PAUSE, WKC_PAUSE), AS(SDLK_BACKSPACE, WKC_BACKSPACE), AS(SDLK_SPACE, WKC_SPACE), @@ -115,6 +115,7 @@ static const VkMapping _vk_mapping[] = { AS(220, WKC_BACKQUOTE), AS(VK_ESCAPE, WKC_ESC), + AS(VK_PAUSE, WKC_PAUSE), AS(VK_BACK, WKC_BACKSPACE), AM(VK_INSERT,VK_DELETE,WKC_INSERT, WKC_DELETE), @@ -128,6 +128,7 @@ enum WindowKeyCodes { // we only store this key here, no matter what character is really mapped to it // on a particular keyboard. (US keyboard: ` and ~ ; German keyboard: ^ and °) WKC_BACKQUOTE = 45, + WKC_PAUSE = 46, // 0-9 are mapped to 48-57 // A-Z are mapped to 65-90 |