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 aca497c312408f07d728ca0797c3bc877a758160..e758e8d90f23d32909e8146e201d4e348a6bbfd9 100644 (file)
--- 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 ca1f66f57df35a796d7d19d0d625cf26704738fb..a611fc6ec4dec6eb2a30bbc3f9a1bad87bbfaa0f 100644 (file)
--- 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>