tree 70d6185d2bac9c2e6998c982844bf841f55841ce
parent 266c1b8718ae1ad4a13c26f5cf0f0913250b1855
author Markus Keller <mkeller> 1334768520 +0200
committer Markus Keller <mkeller> 1334768520 +0200

workaround for Bug 377109: Discrepancy between StyledText#getLineHeight() and FontMetrics#getHeight()