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

diff -r cf677a6f586d -r ab6f64d1a24a src/com/five_ten_sg/connectbot/service/TerminalBridge.java
--- a/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Wed Jul 02 16:10:20 2014 -0700
+++ b/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Wed Jul 02 16:14:57 2014 -0700
@@ -78,8 +78,8 @@
 public class TerminalBridge implements VDUDisplay {
     public final static String TAG = "ConnectBot.TerminalBridge";
 
-    public  final static float  DEFAULT_FONT_SIZE = 10.0;
-    private final static float  FONT_SIZE_FACTOR  = 1.1;
+    public  final static float  DEFAULT_FONT_SIZE = 10.0f;
+    private final static float  FONT_SIZE_FACTOR  = 1.1f;
 
     public Integer[] color;