From: Reimar Döffinger <Reimar.Doeffinger@gmx.de>
Date: Sun, 6 Nov 2016 16:37:21 +0000 (+0100)
Subject: UI refinements.
X-Git-Url: http://gitweb.fperrin.net/?p=Dictionary.git;a=commitdiff_plain;h=4111a81b6e009f52365d0b2d232056a2138d1a99

UI refinements.

Use small action buttons for consistency across
devices.
Disable fast scrolling on dictionary manager, it is
not very useful and interferes with the download buttons.
---

diff --git a/res/layout/dictionary_activity.xml b/res/layout/dictionary_activity.xml
index aca497c..e758e8d 100644
--- a/res/layout/dictionary_activity.xml
+++ b/res/layout/dictionary_activity.xml
@@ -49,8 +49,12 @@
         android:focusable="true"
         android:focusableInTouchMode="true" />
 
+     <!-- force fabSize to mini, otherwise it is normal on some
+          phones and mini on others, with not particular sense to it.
+          Also leaves more space for content. -->
      <android.support.design.widget.FloatingActionButton
         android:id="@+id/floatSwapButton"
+        app:fabSize="mini"
         app:useCompatPadding="true"
         android:layout_alignParentBottom="true"
         android:layout_alignParentRight="true"
@@ -60,6 +64,7 @@
 
      <android.support.design.widget.FloatingActionButton
         android:id="@+id/floatSearchButton"
+        app:fabSize="mini"
         app:useCompatPadding="true"
         android:layout_toLeftOf="@+id/floatSwapButton"
         android:layout_alignParentBottom="true"
diff --git a/res/layout/dictionary_manager_activity.xml b/res/layout/dictionary_manager_activity.xml
index ca1f66f..a611fc6 100644
--- a/res/layout/dictionary_manager_activity.xml
+++ b/res/layout/dictionary_manager_activity.xml
@@ -10,8 +10,7 @@
         android:layout_height="fill_parent"
         android:choiceMode="singleChoice"
         android:clickable="true"
-        android:fastScrollEnabled="true"
         android:focusable="true"
         android:focusableInTouchMode="true" />
 
-</LinearLayout>
\ No newline at end of file
+</LinearLayout>