[news.eclipse.platform] Re: Can I set the line spacing for editor?

[Daniel Megert <daniel_megert@xxxxxxxxxx>]

Kiwon Um wrote:
> Hello.
>
> I'm now looking for an option to change the line spacing for editor.
> Certainly the font is changeable. How about the line spacing?
> Is there any option to change this kind of setting in Eclipse?
No.

Dani
> FYI, My configurations are as follows:
> OpenSUSE 11.0
> Eclipse Version: 3.4.0
> Build id: I20080617-2000
>
> Best regards,
> Kiwon Um