On Fri, Mar 29, 2019 at 02:34:25PM +0100, Jean-Marc Lasgouttes wrote: > Le 29/03/2019 ?? 14:22, Pavel Sanda a écrit : >> Hi, >> I guess that's question for JMarc - I tried master after some time and the >> blank space between lines seem to widen to the extent that is somewhat >> irritating to me. Is that intentional? > > Irritate you? No.
Maybe my font, zoom level and habit, but it feels like lot of wasted space which I would like to use for the text instead. Can you point me to specific line of the code, I'm willing to fix it only locally for me, if this change was intentional. Pavel
