[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Better handling of window margins

From: John Wiegley
Subject: Re: Better handling of window margins
Date: Mon, 07 Dec 2015 09:41:17 -0800
User-agent: Gnus/5.130014 (Ma Gnus v0.14) Emacs/24.5 (darwin)

>>>>> Achim Gratz <address@hidden> writes:

>> So until we have a comprehensive proposal, from someone willing to pitch in
>> to find the right solution, we accept that two modules manipulating the
>> margins are unable to play together.

> The mandate should be that the user must be able to tell which module gets
> to use the margin, then.

I don't see why that is necessary. Multiple margin use is simply undefined
territory at the moment; we make no guarantees. What it does mean is that we
should ensure it cannot happen using core modules, at least not without some
kind of notification of the problem.

John Wiegley                  GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com                          60E1 46C4 BD1A 7AC1 4BA2

reply via email to

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