From 24f62bcb9a7dad9387cc5db0e568495a9988bd9f Mon Sep 17 00:00:00 2001
From: Chris Danford <chrisdanford@users.sourceforge.net>
Date: Fri, 21 Oct 2005 07:45:12 +0000
Subject: [PATCH] remove redundant

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

diff --git a/stepmania/Themes/default/metrics.ini b/stepmania/Themes/default/metrics.ini
index 3f26669977..3fc5b79461 100644
--- a/stepmania/Themes/default/metrics.ini
+++ b/stepmania/Themes/default/metrics.ini
@@ -2473,7 +2473,6 @@ TweenSeconds=0.3
 Class=ScreenMapControllers
 Fallback=ScreenOptionsServiceChild
 NextScreen=ScreenOptionsService
-AllowOperatorMenuButton=0
 EvenLineIn=addx,-SCREEN_WIDTH;decelerate,0.5;addx,SCREEN_WIDTH;
 OddLineIn=addx,SCREEN_WIDTH;decelerate,0.5;addx,-SCREEN_WIDTH;
 EvenLineOut=stoptweening;accelerate,0.3;addx,-SCREEN_WIDTH;