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" />