Mercurial > 510Connectbot

comparison src/com/five_ten_sg/connectbot/service/TerminalBridge.java @ 191:2e4ab8c33851

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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:32:28 -0700
parents dfdbc75cd45f
children 61ed3984fc1d
comparison
equal deleted inserted replaced
190:dfdbc75cd45f 191:2e4ab8c33851
446 446
447 /** 447 /**
448 * Request a different font size. Will make call to parentChanged() to make 448 * Request a different font size. Will make call to parentChanged() to make
449 * sure we resize PTY if needed. 449 * sure we resize PTY if needed.
450 */ 450 */
451 /* package */ final void setFontSize(float size) { 451 final void setFontSize(float size) {
452 if (size <= 0.0) 452 if (size <= 0.0) return;
453 return; 453 size = (float)(int)((size * 10.0f) + 0.5f) / 10.0f;
454
455 defaultPaint.setTextSize(size); 454 defaultPaint.setTextSize(size);
456 fontSize = size; 455 fontSize = size;
457 // read new metrics to get exact pixel dimensions 456 // read new metrics to get exact pixel dimensions
458 FontMetrics fm = defaultPaint.getFontMetrics(); 457 FontMetrics fm = defaultPaint.getFontMetrics();
459 charTop = (int)FloatMath.ceil(fm.top); 458 charTop = (int)FloatMath.ceil(fm.top);