diff -r 237157f79737 -r 6c2c4bfa43d0 res/layout/preferences.xml
--- a/res/layout/preferences.xml Mon Jan 17 23:50:00 2011 +0100
+++ b/res/layout/preferences.xml Tue Jan 18 00:26:02 2011 +0100
@@ -8,6 +8,9 @@
+
+
-
+
@@ -70,7 +75,8 @@
+ android:key="proxy_port" android:numeric="signed"
+ android:hint="@string/comments_proxy_port" />
+
+
+