TerminalBridge.java 文件源码

/**
 * Request a different font size. Will make call to parentChanged() to make
 * sure we resize PTY if needed.
 *
 * @param sizeDp Size of font in dp
 */
private final void setFontSize(float sizeDp) {
    if (sizeDp <= 0.0) {
        return;
    }

    final int fontSizePx = (int) (sizeDp * this.displayDensity + 0.5f);

    defaultPaint.setTextSize(fontSizePx);
    fontSizeDp = sizeDp;

    // read new metrics to get exact pixel dimensions
    FontMetrics fm = defaultPaint.getFontMetrics();
    charTop = (int) Math.ceil(fm.top);

    float[] widths = new float[1];
    defaultPaint.getTextWidths("X", widths);
    charWidth = (int) Math.ceil(widths[0]);
    charHeight = (int) Math.ceil(fm.descent - fm.top);

    // refresh any bitmap with new font size
    if (parent != null) {
        parentChanged(parent);
    }

    for (FontSizeChangedListener ofscl : fontSizeChangedListeners) {
        ofscl.onFontSizeChanged(sizeDp);
    }

    host.setFontSize((int) sizeDp);
    manager.hostdb.saveHost(host);

    forcedSize = false;
}