Mercurial > 510Connectbot
comparison src/com/five_ten_sg/connectbot/service/TerminalBridge.java @ 248:0181323d0d33
add host preference for fixed screen size
author | Carl Byington <carl@five-ten-sg.com> |
---|---|
date | Mon, 14 Jul 2014 11:20:42 -0700 |
parents | 1e1bb5468ebe |
children | e13878bb3ddf |
comparison
equal
deleted
inserted
replaced
247:1e1bb5468ebe | 248:0181323d0d33 |
---|---|
121 private ClipboardManager clipboard; | 121 private ClipboardManager clipboard; |
122 | 122 |
123 public int charWidth = -1; | 123 public int charWidth = -1; |
124 public int charHeight = -1; | 124 public int charHeight = -1; |
125 private int charTop = -1; | 125 private int charTop = -1; |
126 private float fontSize = -1; | |
126 | 127 |
127 private final List<FontSizeChangedListener> fontSizeChangedListeners; | 128 private final List<FontSizeChangedListener> fontSizeChangedListeners; |
128 | 129 |
129 private final List<String> localOutput; | 130 private final List<String> localOutput; |
130 | 131 |
444 */ | 445 */ |
445 final void setFontSize(float size) { | 446 final void setFontSize(float size) { |
446 if (size <= 0.0) size = 12.0f; | 447 if (size <= 0.0) size = 12.0f; |
447 size = (float)(int)((size * 10.0f) + 0.5f) / 10.0f; | 448 size = (float)(int)((size * 10.0f) + 0.5f) / 10.0f; |
448 defaultPaint.setTextSize(size); | 449 defaultPaint.setTextSize(size); |
450 fontSize = size; | |
449 // read new metrics to get exact pixel dimensions | 451 // read new metrics to get exact pixel dimensions |
450 FontMetrics fm = defaultPaint.getFontMetrics(); | 452 FontMetrics fm = defaultPaint.getFontMetrics(); |
451 charTop = (int)FloatMath.ceil(fm.top); | 453 charTop = (int)FloatMath.ceil(fm.top); |
452 float[] widths = new float[1]; | 454 float[] widths = new float[1]; |
453 defaultPaint.getTextWidths("X", widths); | 455 defaultPaint.getTextWidths("X", widths); |