diff -r 41d5d97b74fd -r 49e6af1887f7 res/layout/preferences.xml --- a/res/layout/preferences.xml Tue Dec 28 11:35:34 2010 +0100 +++ b/res/layout/preferences.xml Wed Dec 29 13:04:38 2010 +0100 @@ -8,6 +8,9 @@ + - + @@ -73,7 +75,8 @@ + android:key="proxy_port" android:numeric="signed" + android:hint="@string/comments_proxy_port" />