diff options
Diffstat (limited to 'main_gui.c')
| -rw-r--r-- | main_gui.c | 5 |
1 files changed, 4 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; |