# HG changeset patch # User Da Risk # Date 1246038307 -7200 # Node ID 517e80eedfd8285cc72e2b68baba9d3f810c31a2 # Parent 9fe098c8512f3d0057dc8c8e0b905df52d89cd12 UI improvements diff -r 9fe098c8512f -r 517e80eedfd8 res/layout/edit_settings.xml --- a/res/layout/edit_settings.xml Fri Jun 26 20:13:58 2009 +0200 +++ b/res/layout/edit_settings.xml Fri Jun 26 19:45:07 2009 +0200 @@ -134,6 +134,7 @@ android:layout_width="wrap_content" android:layout_height="wrap_content" android:text="@string/settings_proxy_use" + android:focusable="true" style="@style/CheckBoxLabel" /> Close Settings Log in + Connecting. Please wait...