Re: Better handling of window margins

[John Wiegley]

>>>>> 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