On Sat, Jan 05, 2019 at 05:38:30PM +0100, Jürgen Spitzmüller wrote: > Am Samstag, den 05.01.2019, 11:47 +0100 schrieb Enrico Forestieri: > > Yes, I would ignore the leading > > Why?
For what I understand, the leading is a suggested spacing to add to account for accents and similar that might otherwise overlap. However, if we already provide for a larger line spacing (because we have inserts to take into account), we shouldn't need this correction and even avoid changing the spacing if two different fonts with different leading suggestions are used on the same line. -- Enrico
