(svn r623) -Feature: [ 1066504 ] Pause key pauses the game

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;

sdl.c

@@ -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),

win32.c

@@ -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),
 

window.h

@@ -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