[Top][All Lists]

[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: martin rudalics
Subject: bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text
Date: Tue, 16 Aug 2016 09:35:25 +0200

> If/when this is replaced, would this bug thread to be referenced? It
> would certainly help with updating the modes affected.

The commit references the bug number.

> I guess etiquette would dictate that a mode should set these to the
> maximum of the existing value or its own for cases when two modes want
> control of minimum margin width.... is that a case that can arise? I
> guess it is.....

Hopefully such a case never arises.  Having two modes use the same hooks
to impose their idea of how to size margins is asking for trouble.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]