--- a/main_gui.c	Mon Nov 15 09:05:06 2004 +0000
+++ b/main_gui.c	Mon Nov 15 10:04:57 2004 +0000
@@ -1681,7 +1681,10 @@
 		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;