@Override public double getWidth(Tree tree) { String s = getText(tree); return doc.getWidth(s) + nodeWidthPadding*2; }
@Override public double getWidth(Tree tree) { String s = getText(tree); return doc.getWidth(s) + nodeWidthPadding*2; }
@Override public double getWidth(Tree tree) { String s = getText(tree); return doc.getWidth(s) + nodeWidthPadding*2; }
@Override public double getWidth(Tree tree) { String s = getText(tree); return doc.getWidth(s) + nodeWidthPadding*2; }