Re: Better handling of window margins

[Stefan Monnier]

>> I'm not sure whether we can handle well all possible cases, indeed.
>> But if we design an API where the elements are always associated with
>> lines rather than with precise buffer positions, it should
>> be manageable.  Maybe this API will be inconvenient for some use cases,
>> of course.
> Once again, my proposal handles this for all cases.

AFAIK your proposal is unrelated because it only affects the size of the
display margin, whereas part of the issue is to control ordering of
mergin elements on specific lines.


        Stefan