[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#37880: bug#37858: bug#37880: 27.0.50; Changing font size in Info-mod
From: |
Eli Zaretskii |
Subject: |
bug#37880: bug#37858: bug#37880: 27.0.50; Changing font size in Info-mode messes up formatting |
Date: |
Sat, 07 May 2022 19:06:55 +0300 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: larsi@gnus.org, 37880@debbugs.gnu.org, 37858@debbugs.gnu.org
> Date: Sat, 07 May 2022 11:58:41 -0400
>
> I haven't looked at recent changes in this area, so maybe things would
> be a bit easier now, tho looking at `scan_for_column` in `master`,
> I still see that we re-implement in `check_display_width` (part of) the
> code used in `xdisp.c` to handle the display property, so AFAICT the
> duplication is still present.
There's no duplication. We simply use the same infrastructure as the
display code does.