diff options
author | Andrew Dolgov <[email protected]> | 2012-09-16 23:19:12 +0400 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2012-09-16 23:19:12 +0400 |
commit | 556196cf6a2044066422cc64c0d64304812747ad (patch) | |
tree | abc443d8dc07371a8ae93e1ca18a252c1c4c6e9d /res | |
parent | 67752b2c573711cf0f7ccf8c6941d36cc8742ede (diff) |
fix appending new headlines on scroll
remove unused stuff from preferences
Diffstat (limited to 'res')
-rw-r--r-- | res/xml/preferences.xml | 5 |
1 files changed, 0 insertions, 5 deletions
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 @@ -95,11 +95,6 @@ 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"
android:title="@string/justify_article_text" />
|