[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#29279: Sharing the margins
From: |
Dmitry Gutov |
Subject: |
bug#29279: Sharing the margins |
Date: |
Wed, 15 Nov 2017 16:23:01 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:56.0) Gecko/20100101 Thunderbird/56.0 |
On 11/15/17 5:42 AM, Eli Zaretskii wrote:
It might be just a matter of interpretation: even if all the padding is
on the right, the "rightmost" column will remain such, among all the
visible columns.
Yes, but "being the rightmost" might mean "being right next to the
text", for whatever purposes.
So far, I doubt it's going to come up as a real, hard requirement. But
we'll probably see.
A stretch of white space between the
text and the margin display might not be what the package wants.
OK, can we think of a case where a package might want its margin content
to be _as far away_ from the text as possible? And become troubled if
some padding stands between it and the window edge?
If not, let's put all padding on the outside and be done with that concern.
But the effects are almost entirely the same, aren't they? Both the
change of margin width and the change of line numbers column width force
the reflowing of buffer contents display.
Again, as long as the text-area dimensions didn't change, it could be
argued that the hook shouldn't run.
That's some creative nomenclature lawyering. :-)
OK then, what's the practical problem with saying that margins are also
part of "text-area dimensions"?
- bug#29279: Sharing the margins, (continued)
- bug#29279: Sharing the margins, Eli Zaretskii, 2017/11/13
- bug#29279: Sharing the margins, Dmitry Gutov, 2017/11/13
- bug#29279: Sharing the margins, Eli Zaretskii, 2017/11/13
- bug#29279: Sharing the margins, Dmitry Gutov, 2017/11/13
- bug#29279: Sharing the margins, Eli Zaretskii, 2017/11/13
- bug#29279: Sharing the margins, Dmitry Gutov, 2017/11/13
- bug#29279: Sharing the margins, Eli Zaretskii, 2017/11/14
- bug#29279: Sharing the margins, Dmitry Gutov, 2017/11/14
- bug#29279: Sharing the margins, Eli Zaretskii, 2017/11/14
- bug#29279: Sharing the margins,
Dmitry Gutov <=
- bug#29279: Sharing the margins, Eli Zaretskii, 2017/11/15
- bug#29279: Sharing the margins, Dmitry Gutov, 2017/11/15
- bug#29279: Sharing the margins, Eli Zaretskii, 2017/11/16
- bug#29279: Sharing the margins, Dmitry Gutov, 2017/11/18
- bug#29279: Sharing the margins, Eli Zaretskii, 2017/11/19
- bug#29279: Sharing the margins, Dmitry Gutov, 2017/11/20
- bug#29279: Sharing the margins, Eli Zaretskii, 2017/11/21
- bug#29279: Sharing the margins, martin rudalics, 2017/11/15
- bug#29279: Sharing the margins, Eli Zaretskii, 2017/11/15
- bug#29279: Sharing the margins, Dmitry Gutov, 2017/11/15