diff -r 3691532291fa -r 106f089f8cde res/layout/preferences.xml --- a/res/layout/preferences.xml Fri May 07 18:16:41 2010 +0200 +++ b/res/layout/preferences.xml Mon May 10 20:13:12 2010 +0200 @@ -56,31 +56,31 @@ android:summary="@string/settings_proxy_sum"> + android:key="proxy_use" /> - + android:key="proxy_type" /> + android:key="proxy_server" /> + android:key="proxy_port" android:numeric="signed" android:hint="@string/comments_proxy_port" /> + android:key="proxy_username" /> + android:title="@string/settings_proxy_password" android:key="proxy_password" />