On 7/7/20 2:31 AM, John H Palmieri wrote:
On Tuesday, June 30, 2020 at 11:13:11 AM UTC-7, John H Palmieri wrote:
On Tuesday, June 30, 2020 at 4:01:48 AM UTC-7, Matthias Geier wrote:
Hi John and Jörg (and everyone else).
This appeared in version 3.1.0 and has already been reported at
https://github.com/sphinx-doc/sphinx/issues/7838
<https://github.com/sphinx-doc/sphinx/issues/7838>.
> I had postponed the task of debugging that particular issue
because the
> visual appearance is suboptimal anyway :-)
Exactly!
I tried to improve this in
https://github.com/sphinx-doc/sphinx/pull/7657
<https://github.com/sphinx-doc/sphinx/pull/7657>, but this was
only a
partial improvement and led to the increased spacing.
I've since fixed the spacing in
https://github.com/sphinx-doc/sphinx/pull/7852
<https://github.com/sphinx-doc/sphinx/pull/7852>.
Please check if that works for you!
In my limited testing, it does work for me, thanks!
I hope this will become part of release 3.1.2.
cheers,
Matthias
And now 3.1.2 fixes the problem!
Adding a +1 here!
Thank you,
Jörg
--
DI Jörg Faschingbauer
Linux und Open Source - Programmierung, Beratung und Schulung
https://www.faschingbauer.me
https://www.faschingbauer.co.at
[email protected]
Bergwirtstrasse 10
A-8075 Hart bei Graz
Tel. +43-664-5783814
UID: ATU64329756
--
You received this message because you are subscribed to the Google Groups
"sphinx-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/sphinx-users/8dbcc1fa-e445-7304-b7f2-d8f6f385470b%40faschingbauer.co.at.
