From adacee550351efc3a7d03357e67dfaffd49bbe01 Mon Sep 17 00:00:00 2001
From: Eric House <xwords@eehouse.org>
Date: Thu, 27 Aug 2020 12:35:41 -0700
Subject: [PATCH] tweak player edit layout (add margins)

---
 xwords4/android/app/src/main/res/layout/player_edit.xml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/xwords4/android/app/src/main/res/layout/player_edit.xml b/xwords4/android/app/src/main/res/layout/player_edit.xml
index 893c96fc8..4317024ba 100644
--- a/xwords4/android/app/src/main/res/layout/player_edit.xml
+++ b/xwords4/android/app/src/main/res/layout/player_edit.xml
@@ -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"