86 |
if(line >= scales.length) scale = scales[scales.length-1]; |
if(line >= scales.length) scale = scales[scales.length-1]; |
87 |
else scale = scales[line]; |
else scale = scales[line]; |
88 |
cur = chompTriv(ch, cur, w, scale); |
cur = chompTriv(ch, cur, w, scale); |
89 |
int h = (int)ch.getHeight(bro.tokenStarts[line], cur, scale); |
int h = (int)ch.getAscent(bro.tokenStarts[line], cur, scale); |
90 |
bro.lineHeights[line] += h; |
bro.lineHeights[line] += h; |
91 |
height += h; |
height += h; |
92 |
int d = (int)ch.getDepth(bro.tokenStarts[line], cur, scale); |
int d = (int)ch.getDescent(bro.tokenStarts[line], cur, scale); |
93 |
bro.lineHeights[line+1] += d; |
bro.lineHeights[line+1] += d; |
94 |
height += d; |
height += d; |
95 |
} |
} |