On Sun, Jan 06, 2019 at 10:54:51AM +0100, Enrico Forestieri wrote: > > If we add a spacing which is already larger than the suggested > leading, what is the point of still taking into account it?
I think you already answered this previously, but I overlooked it. Sorry. You said: > The initial observation that lead JMarc to consider leading() was that > some for fonts (particularly MinionPro) the leading was too close in > (current) LyX, while for others it was OK. So, even in the current implementation the line spacing is not sufficient and needs to be incresead. Ok, understood. -- Enrico
