Re: [Kile-devel] editor line spacing

[Andreas Cord-L. <cor...@kd...>]

On Saturday, January 7, 2017 11:53:35 PM CET Sergey Slizovskiy wrote:
> Could you add the possibility to change the line spacing in the Kile
> Editor, please.
> 
> This question has already appeared at various forums,  but it had no
> constructive answers.

Hey Sergey,

I would like to point you to the developers of the KTextEditor. The 
KTextEditor component is used throughout many KDE applications, in particular 
also in Kile, and thus: If the KTextEditor supports configuring the line 
spacing, Kile will gain that support out of the box.

Their mailing list is: kwr...@kd...

Cheers,
Andreas