[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Question about display engine
From: |
Eli Zaretskii |
Subject: |
Re: Question about display engine |
Date: |
Thu, 08 Aug 2019 20:35:57 +0300 |
> Date: Thu, 8 Aug 2019 10:15:53 +0200
> From: Ergus <address@hidden>
> Cc: martin rudalics <address@hidden>, address@hidden
>
> In gui our actual behavior seems to be very reasonable and simple (And
> we haven't too many complains about this.). It extends the region
> colors, but not the underline (and similes). For me this makes sense
> because underline empty spaces after \n, until the page border, does not
> really means anything as conceptually there is nothing that should be
> underlined there.
>
> The "surprise" is that there is no code for this effect in the display
> engine and it has to do with some X||gtk feature in use. (That's why I
> needed to ad an extra glyph after the indicator.)
We simply clear-to-end-of-line using the background color.
> I think that these are the most extended approaches around (so we don't
> need to reinvent the wheel) and Eli should make the design choice so
> we/he can start implementing that; otherwise it will be forgotten after
> hours and hours of arguments and at the end there will be always
> somebody unhappy.
I don't think this is just my decision, I still hope others will chime
in with opinions.
- Re: Question about display engine, (continued)
- Re: Question about display engine, martin rudalics, 2019/08/09
- Re: Question about display engine, Eli Zaretskii, 2019/08/10
- Re: Question about display engine, Stefan Monnier, 2019/08/10
- Re: Question about display engine, Eli Zaretskii, 2019/08/10
- Re: Question about display engine, martin rudalics, 2019/08/11
- Re: Question about display engine, martin rudalics, 2019/08/11
- Re: Question about display engine, Eli Zaretskii, 2019/08/08
- Re: Question about display engine, Ergus, 2019/08/08
- Re: Question about display engine, martin rudalics, 2019/08/08
- Re: Question about display engine, Ergus, 2019/08/08
- Re: Question about display engine,
Eli Zaretskii <=
- Re: Question about display engine, Juri Linkov, 2019/08/08
- Re: Question about display engine, Ergus, 2019/08/08
- Re: Question about display engine, Eli Zaretskii, 2019/08/09
- Re: Question about display engine, Juri Linkov, 2019/08/09
Re: Question about display engine, Keith David Bershatsky, 2019/08/27