commit 011fcfe0308b36ca7d8c5a8cfbc7327de920c1b4
Author: Leszek Koltunski <leszek@koltunski.pl>
Date:   Sun Jun 21 13:56:44 2020 +0100

    Improve setting text size in Spinners (forgotten part).

diff --git a/src/main/java/org/distorted/states/RubikStatePlay.java b/src/main/java/org/distorted/states/RubikStatePlay.java
index 96d1b656..7cc50569 100644
--- a/src/main/java/org/distorted/states/RubikStatePlay.java
+++ b/src/main/java/org/distorted/states/RubikStatePlay.java
@@ -411,7 +411,18 @@ public class RubikStatePlay extends RubikStateAbstract implements AdapterView.On
       levels[i] = act.getString(R.string.lv_placeholder,i+1);
       }
 
-    mSpinnerAdapter = new ArrayAdapter<>(act,android.R.layout.simple_spinner_item, levels);
+    mSpinnerAdapter = new ArrayAdapter<String>(act, android.R.layout.simple_spinner_item, levels)
+      {
+      @NonNull
+      public View getView(int position, View convertView, @NonNull ViewGroup parent)
+        {
+        View v = super.getView(position, convertView, parent);
+        TextView tv = ((TextView) v);
+        tv.setTextSize(TypedValue.COMPLEX_UNIT_PX, mButtonSize);
+        return v;
+        }
+      };
+
     mSpinnerAdapter.setDropDownViewResource(android.R.layout.simple_spinner_dropdown_item);
     mLevelSpinner.setAdapter(mSpinnerAdapter);
     }