From 3eb41ef1b83aa1ea55fe894d4a9a13852322c962 Mon Sep 17 00:00:00 2001
From: AJ Kelly <aj187@ajworld.net>
Date: Sat, 15 Oct 2011 18:12:20 -0500
Subject: [PATCH] add screen filter to edit options menu (fixes issue 581)

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

diff --git a/Themes/default/metrics.ini b/Themes/default/metrics.ini
index 8e99fd1c47..e82bf4e57d 100644
--- a/Themes/default/metrics.ini
+++ b/Themes/default/metrics.ini
@@ -1907,7 +1907,9 @@ SmallBanner6OffCommand=
 [ScreenPractice]
 
 [ScreenEditOptions]
+LineNames="1,2,3,4,5,6,R,7,8,9,10,Attacks,11,12,13,14,15,16,SF"
 Line1="lua,SpeedMods()"
+LineSF="lua,OptionRowScreenFilter()"
 
 [StepsDisplayEdit]
 Fallback="StepsDisplayGameplay"