From 7feebb067f51b8c8ea6fb5c7e4768787e3ca0912 Mon Sep 17 00:00:00 2001
From: Adrian Ulrich <adrian@blinkenlights.ch>
Date: Mon, 13 Apr 2015 16:57:51 +0200
Subject: [PATCH] remove dead preferences element

---
 res/xml/preference_library.xml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/res/xml/preference_library.xml b/res/xml/preference_library.xml
index 9bcf9c8a..6a5c2e47 100644
--- a/res/xml/preference_library.xml
+++ b/res/xml/preference_library.xml
@@ -23,11 +23,6 @@ THE SOFTWARE.
 <PreferenceScreen
 	xmlns:android="http://schemas.android.com/apk/res/android"
 	android:persistent="true">
-	<CheckBoxPreference
-		android:key="controls_in_selector"
-		android:title="@string/controls_in_selector_title"
-		android:summary="@string/controls_in_selector_summary"
-		android:defaultValue="false" />
 	<PreferenceScreen
 		android:title="@string/tabs"
 		android:summary="@string/customize_tab_order">