[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: |
Sun, 11 Aug 2019 10:14:51 +0200 |
> This can only work if we assume users will want the same attribute be
> extended or not irrespective of the face. Such an assumption is not
> necessarily valid: users could want the hl-line face, for example, be
> always extended, regardless of its attributes, but would like at the
> same time not see other faces' :underline attribute extended.
Reiterating what I said elsewhere (and hoping not to bore anyone with
my ideas): With the face-based approach the user would have to set
background, underline and extend for the highlight face to get that
behavior. With the attributes-based approach, a user would have to
include highlight both in 'extend-background' and 'extend-underline'.
martin
- Re: Question about display engine, (continued)
- Re: Question about display engine, Eli Zaretskii, 2019/08/09
- Re: Question about display engine, Ergus, 2019/08/09
- Re: Question about display engine, Eli Zaretskii, 2019/08/09
- Re: Question about display engine, Ergus, 2019/08/09
- Re: Question about display engine, Eli Zaretskii, 2019/08/09
- Re: Question about display engine, Ergus, 2019/08/09
- Re: Question about display engine, martin rudalics, 2019/08/09
- Re: Question about display engine, Ergus, 2019/08/09
- Re: Question about display engine, Ergus, 2019/08/09
- Re: Question about display engine, Eli Zaretskii, 2019/08/10
- Re: Question about display engine,
martin rudalics <=
- 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, 2019/08/13