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