From 6bcb8e872421b96f4229a8993b5d999482f457cb Mon Sep 17 00:00:00 2001
From: nehalmistry <>
Date: Wed, 10 Apr 2002 19:21:47 +0000
Subject: [PATCH] F9 shortcut for preferences now works from game.

---
 src/ui/interface.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/ui/interface.cpp b/src/ui/interface.cpp
index 7d428e0ca..c41b9c937 100644
--- a/src/ui/interface.cpp
+++ b/src/ui/interface.cpp
@@ -639,8 +639,7 @@ local int CommandKey(int key)
 
 	case KeyCodeF9:			// Preferences menu
 	    if( KeyState!=KeyStateInput ) {
-		// FIXME: Enable when this works
-//		UiEnterPreferencesOptionsMenu();
+		UiEnterPreferencesOptionsMenu();
 	    }
 	    break;