From 0bd995a73127afc68b4707724ff8b94a823f1853 Mon Sep 17 00:00:00 2001
From: relan <relan@users.noreply.github.com>
Date: Mon, 2 Nov 2015 16:50:01 +0300
Subject: [PATCH] Set category filter height to 48dp

This improves usability of the category spinner. Divider is now behind
it. This makes the layout visually more compact while keeping actual
touch target 48dp. See
http://www.google.com/design/spec/layout/metrics-keylines.html#metrics-keylines-touch-target-size
---
 F-Droid/res/layout/available_app_list.xml | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/F-Droid/res/layout/available_app_list.xml b/F-Droid/res/layout/available_app_list.xml
index fab95c3c3..5757abad2 100644
--- a/F-Droid/res/layout/available_app_list.xml
+++ b/F-Droid/res/layout/available_app_list.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="utf-8"?>
-<LinearLayout
+<RelativeLayout
     xmlns:android="http://schemas.android.com/apk/res/android"
     android:layout_width="match_parent"
     android:layout_height="match_parent"
@@ -8,21 +8,22 @@
     <Spinner
         android:id="@+id/category_spinner"
         android:layout_width="match_parent"
-        android:layout_height="wrap_content"
+        android:layout_height="48dp"
         android:layout_marginLeft="8dp"
         android:layout_marginRight="8dp"
-        android:paddingTop="8dp"
-        android:paddingBottom="8dp" />
+        android:paddingBottom="1dp" />
 
     <View
         android:layout_width="match_parent"
         android:layout_height="2dp"
+        android:layout_alignBottom="@id/category_spinner"
         android:background="@color/fdroid_green" />
 
     <ListView
         android:id="@android:id/list"
         android:fastScrollEnabled="true"
         android:layout_width="match_parent"
-        android:layout_height="match_parent" />
+        android:layout_height="match_parent"
+        android:layout_below="@id/category_spinner" />
 
-</LinearLayout>
+</RelativeLayout>