[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Question about display engine
From: |
martin rudalics |
Subject: |
Re: Question about display engine |
Date: |
Tue, 13 Aug 2019 10:17:52 +0200 |
> ... the face used on the "rest of the line" should be computed by
> merging the various faces that apply to the corresponding LF character
> but where the new `extend-to-end-of-line` property is obeyed
> (i.e. a face is skipped if that property is nil). IOW the
> extend-to-end-of-line property is applied *during* merging rather than
> after it.
That's the idea. The display engine would then simply have to look at
a single bit to tell whether to extend a specific attribute to the end
of the line or not.
> Most likely this can't be mapped to the way things are done, tho.
Most likely the solution will be disappointingly simple, once Eli
found it.
martin
- Re: Question about display engine, (continued)
- Re: Question about display engine, martin rudalics, 2019/08/11
- Re: Question about display engine, martin rudalics, 2019/08/09
- Re: Question about display engine, Ergus, 2019/08/08
- 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, martin rudalics, 2019/08/11
- Re: Question about display engine, Eli Zaretskii, 2019/08/11
- Re: Question about display engine, martin rudalics, 2019/08/12
- Re: Question about display engine, Eli Zaretskii, 2019/08/12
- Re: Question about display engine, Stefan Monnier, 2019/08/12
- Re: Question about display engine,
martin rudalics <=
- Re: Question about display engine, Eli Zaretskii, 2019/08/13
- Re: Question about display engine, Stefan Monnier, 2019/08/13
- Re: Question about display engine, martin rudalics, 2019/08/14
- Re: Question about display engine, martin rudalics, 2019/08/13
- Re: Question about display engine, Eli Zaretskii, 2019/08/13
- Re: Question about display engine, martin rudalics, 2019/08/14
- Re: Question about display engine, Eli Zaretskii, 2019/08/14
- Re: Question about display engine, martin rudalics, 2019/08/15
- Re: Question about display engine, Eli Zaretskii, 2019/08/15
- Re: Question about display engine, martin rudalics, 2019/08/16