[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Better handling of window margins
From: |
Stefan Monnier |
Subject: |
Re: Better handling of window margins |
Date: |
Sat, 05 Dec 2015 10:17:42 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1.50 (gnu/linux) |
>> 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
- Re: Better handling of window margins, (continued)
- Re: Better handling of window margins, Stefan Monnier, 2015/12/03
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/04
- Re: Better handling of window margins, Stefan Monnier, 2015/12/04
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/04
- Re: Better handling of window margins, Stefan Monnier, 2015/12/04
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/04
- Re: Better handling of window margins, Stefan Monnier, 2015/12/04
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/04
- Re: Better handling of window margins, Stefan Monnier, 2015/12/04
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/05
- Re: Better handling of window margins,
Stefan Monnier <=
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/05
- Re: Better handling of window margins, Stefan Monnier, 2015/12/05
- Re: Better handling of window margins, John Wiegley, 2015/12/06
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/06
- Re: Better handling of window margins, Yuri Khan, 2015/12/06
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/06
- Re: Better handling of window margins, Yuri Khan, 2015/12/07
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/07
- Re: Better handling of window margins, John Wiegley, 2015/12/06
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/07