Mercurial > 510Connectbot

comparison src/com/five_ten_sg/connectbot/service/TerminalBridge.java @ 248:0181323d0d33

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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);