[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#37881: 27.0.50; Changing font size in Info-mode messes up formatting
From: |
Eli Zaretskii |
Subject: |
bug#37881: 27.0.50; Changing font size in Info-mode messes up formatting of body text |
Date: |
Thu, 24 Oct 2019 16:42:57 +0300 |
> From: Stefan Kangas <stefan@marxist.se>
> Date: Wed, 23 Oct 2019 22:27:39 +0200
> Cc: 37881@debbugs.gnu.org
>
> I would have suggested that we perhaps could tell texinfo to reflow
> the page for us to the correct number of columns
That would mean to run makeinfo every time you want to read a manual,
something that takes several seconds: an annoying delay, I think.