comparison 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
comparison
equal deleted inserted replaced
187:81f9ba83c0e9 188:cf677a6f586d
43 private String useAuthAgent = HostDatabase.AUTHAGENT_NO; 43 private String useAuthAgent = HostDatabase.AUTHAGENT_NO;
44 private String postLogin = null; 44 private String postLogin = null;
45 private long pubkeyId = -1; 45 private long pubkeyId = -1;
46 private boolean wantSession = true; 46 private boolean wantSession = true;
47 private String delKey = HostDatabase.DELKEY_DEL; 47 private String delKey = HostDatabase.DELKEY_DEL;
48 private int fontSize = -1; 48 private float fontSize = -1;
49 private boolean compression = false; 49 private boolean compression = false;
50 private String httpproxy = null; 50 private String httpproxy = null;
51 private String encoding = HostDatabase.ENCODING_DEFAULT; 51 private String encoding = HostDatabase.ENCODING_DEFAULT;
52 private boolean stayConnected = false; 52 private boolean stayConnected = false;
53 private boolean wantX11Forward = false; 53 private boolean wantX11Forward = false;
195 this.delKey = delKey; 195 this.delKey = delKey;
196 } 196 }
197 public String getDelKey() { 197 public String getDelKey() {
198 return delKey; 198 return delKey;
199 } 199 }
200 public void setFontSize(int fontSize) { 200 public void setFontSize(float fontSize) {
201 this.fontSize = fontSize; 201 this.fontSize = fontSize;
202 } 202 }
203 public int getFontSize() { 203 public float getFontSize() {
204 return fontSize; 204 return fontSize;
205 } 205 }
206 public void setCompression(boolean compression) { 206 public void setCompression(boolean compression) {
207 this.compression = compression; 207 this.compression = compression;
208 } 208 }