[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#24193: 25.1; `window-min-size' fails for horizontal width when margi
|
From: |
Eli Zaretskii |
|
Subject: |
bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text |
|
Date: |
Fri, 04 Sep 2020 16:41:22 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: Eli Zaretskii <eliz@gnu.org>, 24193@debbugs.gnu.org, martin rudalics
> <rudalics@gmx.at>
> Date: Fri, 04 Sep 2020 15:09:59 +0200
>
> > Turns out there is a better solution, so the patch can be removed
> > before stable 25.1 release if you prefer :)
>
> Skimming this thread, Martin's patch was applied (which seemed to fix
> the issue?), but then Paul said there's a better solution? (But not
> what it was.)
>
> So I'm not sure whether there's more to do here, or whether the bug
> report should be closed. Anybody?
It should be closed; done.