# HG changeset patch
# User Carl Byington <carl@five-ten-sg.com>
# Date 1405362042 25200
# Node ID 0181323d0d335f092b2f7142a47e5d12610c0645
# Parent  1e1bb5468ebe5f5676564cdac07b9eea8a63213f
add host preference for fixed screen size

diff -r 1e1bb5468ebe -r 0181323d0d33 src/com/five_ten_sg/connectbot/service/TerminalBridge.java
--- a/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Mon Jul 14 11:18:24 2014 -0700
+++ b/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Mon Jul 14 11:20:42 2014 -0700
@@ -123,6 +123,7 @@
     public  int   charWidth  = -1;
     public  int   charHeight = -1;
     private int   charTop    = -1;
+    private float fontSize   = -1;
 
     private final List<FontSizeChangedListener> fontSizeChangedListeners;
 
@@ -446,6 +447,7 @@
         if (size <= 0.0) size = 12.0f;
         size = (float)(int)((size * 10.0f) + 0.5f) / 10.0f;
         defaultPaint.setTextSize(size);
+        fontSize = size;
         // read new metrics to get exact pixel dimensions
         FontMetrics fm = defaultPaint.getFontMetrics();
         charTop = (int)FloatMath.ceil(fm.top);