From 82073cc6b4e8ad03e05436ccd9db9838fd723369 Mon Sep 17 00:00:00 2001
From: Glenn Maynard <gmaynard@users.sourceforge.net>
Date: Fri, 15 Jul 2005 01:38:25 +0000
Subject: [PATCH] fix options menu names

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

diff --git a/stepmania/Themes/default/metrics.ini b/stepmania/Themes/default/metrics.ini
index 9203fc69a9..8f6af1d908 100644
--- a/stepmania/Themes/default/metrics.ini
+++ b/stepmania/Themes/default/metrics.ini
@@ -3624,8 +3624,6 @@ Line13=list,Other Options
 Line14=list,Network Options
 Line15=list,Reload Songs/Courses
 Line16=list,Test Input
-ThemeTitles=1
-ThemeItems=1
 
 [ScreenOptionsServiceChild]
 Fallback=ScreenOptionsService