Mercurial > 510Connectbot
comparison src/com/five_ten_sg/connectbot/service/TerminalBridge.java @ 191:2e4ab8c33851
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); |