| commit | 7471537879c56f83c4621f57bb29a96e53743f50 | [log] [tgz] |
|---|---|---|
| author | Markus Keller <mkeller> | Wed Apr 18 19:02:00 2012 +0200 |
| committer | Markus Keller <mkeller> | Wed Apr 18 19:02:00 2012 +0200 |
| tree | 70d6185d2bac9c2e6998c982844bf841f55841ce | |
| parent | 266c1b8718ae1ad4a13c26f5cf0f0913250b1855 [diff] |
workaround for Bug 377109: Discrepancy between StyledText#getLineHeight() and FontMetrics#getHeight()