# HG changeset patch
# User Carl Byington <carl@five-ten-sg.com>
# Date 1404343948 25200
# Node ID 2e4ab8c338519434720133245aadd47c1e99dcf3
# Parent  dfdbc75cd45fe11e26c6867197a913118f3ec6d4
use floating point font size, change size by scaling factor rather than linear addition

diff -r dfdbc75cd45f -r 2e4ab8c33851 src/com/five_ten_sg/connectbot/service/TerminalBridge.java
--- a/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Wed Jul 02 16:23:21 2014 -0700
+++ b/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Wed Jul 02 16:32:28 2014 -0700
@@ -448,10 +448,9 @@
      * Request a different font size. Will make call to parentChanged() to make
      * sure we resize PTY if needed.
      */
-    /* package */ final void setFontSize(float size) {
-        if (size <= 0.0)
-            return;
-
+    final void setFontSize(float size) {
+        if (size <= 0.0) return;
+        size = (float)(int)((size * 10.0f) + 0.5f) / 10.0f;
         defaultPaint.setTextSize(size);
         fontSize = size;
         // read new metrics to get exact pixel dimensions