From 275131cb007d34b6ba255d79df7e839958d7a2cf Mon Sep 17 00:00:00 2001 From: Sylvain Berfini Date: Mon, 14 Jan 2013 11:25:04 +0100 Subject: [PATCH] Improved advanced menu of preferences to remove useless header or move some misplaced settings --- res/xml/preferences.xml | 25 ++++++++++--------------- 1 file changed, 10 insertions(+), 15 deletions(-) diff --git a/res/xml/preferences.xml b/res/xml/preferences.xml index f0ebff280..e75359ed2 100644 --- a/res/xml/preferences.xml +++ b/res/xml/preferences.xml @@ -277,16 +277,11 @@ - - - - - - + + + + @@ -324,11 +324,6 @@ android:key="@string/pref_user_name_key"/> - -