[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Better handling of window margins
From: |
Eli Zaretskii |
Subject: |
Re: Better handling of window margins |
Date: |
Fri, 04 Dec 2015 23:13:13 +0200 |
> From: Stefan Monnier <address@hidden>
> Cc: address@hidden
> Date: Fri, 04 Dec 2015 15:55:59 -0500
>
> > My suggestion was to ask each package to provide 2 numbers, not one.
>
> Each package above knows (internally) a single number in this case, but
> it does not provide it. It only provides a function which combines this
> number with the one it gets from the rest.
That's a different proposal. I think it's more complex, and don't
quite see the need for the added complexity.
> > (I also don't understand the "displayed elsewhere" part of package B.
> > What does "elsewhere" mean here? Is that stuff displayed on the
> > margins or not?)
>
> It means that package A and B place their things on different lines, so
> the needed margin size is the max of X and Y rather than the sum.
How can we know that they will never try to display anything on the
same screen line? How can the packages themselves know that?
> > How can you provide a single display property when the original
> > properties are in different buffer locations?
>
> You can't. But if you need to share those two properties, it means
> they're displayed at the same place, which also means that maybe they
> don't need to be in different buffer location.
> At least, that's my assumption.
I don't see how that assumption could be a valid one. Imagine a
buffer with linum-mode turned on, and an (imaginary) package that
displays in the margin short notes to specific places in the buffer.
The buffer position that correspond to the notes must be obeyed, or
else editing the buffer will not move the notes as expected.
- Re: Better handling of window margins, (continued)
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/03
- Re: Better handling of window margins, martin rudalics, 2015/12/03
- Re: Better handling of window margins, Eli Zaretskii, 2015/12/03
- 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 <=
- 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, 2015/12/05
- 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