comparison src/com/five_ten_sg/connectbot/service/TerminalBridge.java @ 189:ab6f64d1a24a

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:14:57 -0700
parents cf677a6f586d
children dfdbc75cd45f
comparison
equal deleted inserted replaced
188:cf677a6f586d 189:ab6f64d1a24a
76 */ 76 */
77 @SuppressWarnings("deprecation") // for ClipboardManager 77 @SuppressWarnings("deprecation") // for ClipboardManager
78 public class TerminalBridge implements VDUDisplay { 78 public class TerminalBridge implements VDUDisplay {
79 public final static String TAG = "ConnectBot.TerminalBridge"; 79 public final static String TAG = "ConnectBot.TerminalBridge";
80 80
81 public final static float DEFAULT_FONT_SIZE = 10.0; 81 public final static float DEFAULT_FONT_SIZE = 10.0f;
82 private final static float FONT_SIZE_FACTOR = 1.1; 82 private final static float FONT_SIZE_FACTOR = 1.1f;
83 83
84 public Integer[] color; 84 public Integer[] color;
85 85
86 public int defaultFg = HostDatabase.DEFAULT_FG_COLOR; 86 public int defaultFg = HostDatabase.DEFAULT_FG_COLOR;
87 public int defaultBg = HostDatabase.DEFAULT_BG_COLOR; 87 public int defaultBg = HostDatabase.DEFAULT_BG_COLOR;