Subject: bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text

From: "Paul W. Rankin" <[email-masked]>
Date: Sat, 05 Sep 2020 00:54:21 +1000

On 2020-09-04 23:09, Lars Ingebrigtsen wrote:
> Paul Rankin <[email-masked]> writes:
>> 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?

I was mistaken. The min-margins parameter is still required. Sorry for 
the confusion.