|
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. martin
[Prev in Thread] | Current Thread | [Next in Thread] |