From 6eaf9b86c0046f3e7c3c3e90fb61c55f37d57d42 Mon Sep 17 00:00:00 2001
From: Colby Klein <shakesoda@gmail.com>
Date: Tue, 15 Dec 2009 10:37:51 +0000
Subject: [PATCH] Add missing metrics to default theme.

---
 stepmania/Themes/default/metrics.ini | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/stepmania/Themes/default/metrics.ini b/stepmania/Themes/default/metrics.ini
index 0dabe6c11d..9e935a55cd 100644
--- a/stepmania/Themes/default/metrics.ini
+++ b/stepmania/Themes/default/metrics.ini
@@ -456,6 +456,8 @@ OptionsAreaP2Y=SCREEN_CENTER_Y+148
 OptionsAreaP2OnCommand=
 OptionsAreaP2OffCommand=
 SelectMenuChangesDifficulty=false
+SelectMenuScreenName="ScreenPlayerOptions"
+OptionsListTimeout=0.5
 WrapChangeSteps=false
 
 [ScreenSelectCourse]