From 84124de79de169cb7890339ce9ae56354a487dca Mon Sep 17 00:00:00 2001
From: Remco van der Zon <theunknowncylon@live.nl>
Date: Wed, 6 Jun 2012 11:22:46 +0200
Subject: [PATCH] Game can now be paused by pressing f3 as well.

---
 OpenRA.Game/Widgets/WorldInteractionControllerWidget.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/OpenRA.Game/Widgets/WorldInteractionControllerWidget.cs b/OpenRA.Game/Widgets/WorldInteractionControllerWidget.cs
index bcdc813434..29721ccaa2 100644
--- a/OpenRA.Game/Widgets/WorldInteractionControllerWidget.cs
+++ b/OpenRA.Game/Widgets/WorldInteractionControllerWidget.cs
@@ -148,7 +148,7 @@ namespace OpenRA.Widgets
 					world.Selection.DoControlGroup(world, e.KeyName[0] - '0', e.Modifiers);
 					return true;
 				}
-				else if(e.KeyName == "pause")
+				else if(e.KeyName == "pause" || e.KeyName == "f3")
 				{
 					world.IssueOrder(Order.PauseRequest());
 				}