tags:

views:

345

answers:

0

I've been googling, going through eclipse bug reports/enhancements, and through the eclipse preferences section (I have even tried to see how easy it would be to modify a font) to no avail. I'm trying to figure out how to increase the line height in the editor. What do I mean by this? Suppose my editor uses a font size of 12pt. I would like to be able to set the line height to 14pt, so that there is 1pt padding on the top and bottom of the line, where the net result is an extra 2pt spacing between each line. Does anyone know how to do this? Thanks for any help!