From 556196cf6a2044066422cc64c0d64304812747ad Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@fakecake.org>
Date: Sun, 16 Sep 2012 23:19:12 +0400
Subject: fix appending new headlines on scroll remove unused stuff from
 preferences

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

(limited to 'res/xml/preferences.xml')

diff --git a/res/xml/preferences.xml b/res/xml/preferences.xml
index 291a5ce5..d2bae786 100644
--- a/res/xml/preferences.xml
+++ b/res/xml/preferences.xml
@@ -94,11 +94,6 @@
             android:summary="@string/combined_mode_summary"
             android:title="@string/combined_mode" />
 
-        <CheckBoxPreference
-            android:defaultValue="false"
-            android:key="tablet_article_swipe"
-            android:title="@string/tablet_article_swipe" />
-
         <CheckBoxPreference
             android:defaultValue="true"
             android:key="justify_article_text"
-- 
cgit v1.2.3-54-g00ecf