From 75b86d430cfcbb03ffd7444286e72ec36605843d Mon Sep 17 00:00:00 2001
From: Colby Klein <shakesoda@gmail.com>
Date: Fri, 28 Dec 2012 23:33:33 -0800
Subject: [PATCH] Put header back on ScreenOptionsService.

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

diff --git a/Themes/default/metrics.ini b/Themes/default/metrics.ini
index 7e7b63493a..41aa5e7941 100644
--- a/Themes/default/metrics.ini
+++ b/Themes/default/metrics.ini
@@ -1268,7 +1268,7 @@ ExplanationTogetherOffCommand=stoptweening
 [ScreenOptionsSimpleService]
 
 [ScreenOptionsService]
-ShowHeader=false
+ShowHeader=true
 
 LineNames="Sync,GameType,KeyConfig,TestInput,Input,Reload,Arcade,Appearance,Theme,GraphicSound,Profiles,Network,UI,Advanced,Credits"
 LineTheme="gamecommand;screen,ScreenOptionsTheme;name,Theme Options"