From 35248cbef457daa9285f90491503b307e7797e1b Mon Sep 17 00:00:00 2001
From: Eric House <xwords@eehouse.org>
Date: Wed, 16 Jul 2014 21:36:42 -0700
Subject: [PATCH] reduce min font size

---
 .../XWords4/src/org/eehouse/android/xw4/BoardView.java        | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/xwords4/android/XWords4/src/org/eehouse/android/xw4/BoardView.java b/xwords4/android/XWords4/src/org/eehouse/android/xw4/BoardView.java
index a97962f24..8b5aa5021 100644
--- a/xwords4/android/XWords4/src/org/eehouse/android/xw4/BoardView.java
+++ b/xwords4/android/XWords4/src/org/eehouse/android/xw4/BoardView.java
@@ -43,7 +43,7 @@ import junit.framework.Assert;
 
 public class BoardView extends View implements BoardHandler, SyncedDraw {
 
-    private static final float MIN_FONT_DIPS = 14.0f;
+    private static final float MIN_FONT_DIPS = 10.0f;
     private static final int MULTI_INACTIVE = -1;
 
     private static Bitmap s_bitmap;    // the board
@@ -220,7 +220,7 @@ public class BoardView extends View implements BoardHandler, SyncedDraw {
             Rect scratch = new Rect();
             paint.getTextBounds( "-00:00", 0, 6, scratch );
             int timerWidth = scratch.width();
-            int fontWidth = timerWidth / 6;
+            int fontWidth = Math.min(m_defaultFontHt, timerWidth / 6);
             m_jniThread.handle( JNIThread.JNICmd.CMD_LAYOUT, width, height, 
                                 fontWidth, m_defaultFontHt );
             // We'll be back....