TreePostScriptGenerator.java 文件源码

@Override
public double getHeight(Tree tree) {
    String s = getText(tree);
    double h =
        doc.getLineHeight() + nodeHeightPaddingAbove + nodeHeightPaddingBelow;
    String[] lines = s.split("\n");
    return h * lines.length;
}