diff -r 847e7f7d88c1 -r 1e9c4a0a9acf res/xml/preferences.xml --- a/res/xml/preferences.xml Thu May 10 14:03:11 2012 +0200 +++ b/res/xml/preferences.xml Thu May 10 16:11:18 2012 +0200 @@ -42,6 +42,9 @@ +