Miroirs/xwords
1
0
Fork 0
mirror of git://xwords.git.sourceforge.net/gitroot/xwords/xwords synced 2025-01-22 07:28:16 +01:00
Code Issues Projects Releases Packages Wiki Activity

tweak player edit layout (add margins)

Browse source
This commit is contained in:
Eric House 2020-08-27 12:35:41 -07:00
parent 02287b8909
commit adacee5503
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
xwords4/android/app/src/main/res/layout/player_edit.xml
View file

@ -31,13 +31,15 @@
android:layout_height="wrap_content"
android:text="@string/remote_label"
android:textAppearance="?android:attr/textAppearanceMedium"
android:layout_marginBottom="10dp"
/>
<!-- Use a layout to group elems we want to show/hide as a set -->
<LinearLayout android:id="@+id/local_player_set"
android:layout_height="wrap_content"
android:layout_width="fill_parent"
android:orientation="vertical">
android:orientation="vertical"
>
<CheckBox android:id="@+id/robot_check"
android:layout_width="wrap_content"
@ -51,6 +53,7 @@
android:layout_width="fill_parent"
android:orientation="horizontal"
android:paddingLeft="20dp"
android:layout_marginBottom="10dp"
>
<TextView android:layout_height="wrap_content"