From 84eeaa8cce8f04a8114994fa75b8f2061ca1b2b8 Mon Sep 17 00:00:00 2001
From: Alberto Ramos <shujito.desu@gmail.com>
Date: Wed, 13 Jul 2011 18:33:44 -0600
Subject: [PATCH] why is operator button allowed?

---
 Themes/_fallback/metrics.ini | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Themes/_fallback/metrics.ini b/Themes/_fallback/metrics.ini
index 70800b55a3..497c15706c 100644
--- a/Themes/_fallback/metrics.ini
+++ b/Themes/_fallback/metrics.ini
@@ -2453,6 +2453,7 @@ LineHighlightP2ChangeToExitCommand=
 CursorOnCommand=visible,false
 
 [ScreenOptionsService]
+AllowOperatorMenuButton=false
 Class="ScreenOptionsMaster"
 Fallback="ScreenOptionsSimpleService"
 #