diff src/com/five_ten_sg/connectbot/bean/HostBean.java @ 188:cf677a6f586d

use floating point font size, change size by scaling factor rather than linear addition
author Carl Byington <carl@five-ten-sg.com>
date Wed, 02 Jul 2014 16:10:20 -0700
parents 446dbcf606eb
children bd803721f94a
line wrap: on
line diff
--- a/src/com/five_ten_sg/connectbot/bean/HostBean.java	Wed Jul 02 15:40:18 2014 -0700
+++ b/src/com/five_ten_sg/connectbot/bean/HostBean.java	Wed Jul 02 16:10:20 2014 -0700
@@ -45,7 +45,7 @@
     private long    pubkeyId = -1;
     private boolean wantSession = true;
     private String  delKey = HostDatabase.DELKEY_DEL;
-    private int     fontSize = -1;
+    private float   fontSize = -1;
     private boolean compression = false;
     private String  httpproxy = null;
     private String  encoding = HostDatabase.ENCODING_DEFAULT;
@@ -197,10 +197,10 @@
     public String getDelKey() {
         return delKey;
     }
-    public void setFontSize(int fontSize) {
+    public void setFontSize(float fontSize) {
         this.fontSize = fontSize;
     }
-    public int getFontSize() {
+    public float getFontSize() {
         return fontSize;
     }
     public void setCompression(boolean compression) {