[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: About the :distant-foreground face attribute
From: |
Jan Djärv |
Subject: |
Re: About the :distant-foreground face attribute |
Date: |
Sun, 12 Jan 2014 12:40:42 +0100 |
Hello.
12 jan 2014 kl. 12:14 skrev David Engster <address@hidden>:
> David Engster writes:
>> I'm wondering: We already can set different face attributes depending on
>> DISPLAY's 'background' property, which can be 'light' or 'dark'. Say the
>> user is working with a 'dark' background by default, but we now detect
>> that one of the font-lock faces has not enough contrast when highlighted
>> by the region: why not simply switch to the face that is defined for
>> 'light' background instead?
>
> Hey look, a tumbleweed!
>
> I'm assuming everybody's simply stunned by my ingenious proposal?
>
A theme does not have to suppy colors for properties light or dark.
> (;-), etc.)
Jan D.
- Re: About the :distant-foreground face attribute, (continued)
- Re: About the :distant-foreground face attribute, Stefan Monnier, 2014/01/08
- Re: About the :distant-foreground face attribute, Eli Zaretskii, 2014/01/08
- Re: About the :distant-foreground face attribute, Chong Yidong, 2014/01/09
- Re: About the :distant-foreground face attribute, Stefan Monnier, 2014/01/09
- RE: About the :distant-foreground face attribute, Drew Adams, 2014/01/09
- Re: About the :distant-foreground face attribute, Eli Zaretskii, 2014/01/09
- Re: About the :distant-foreground face attribute, Chong Yidong, 2014/01/09
- RE: About the :distant-foreground face attribute, Drew Adams, 2014/01/09
- Re: About the :distant-foreground face attribute, David Engster, 2014/01/09
- Re: About the :distant-foreground face attribute, David Engster, 2014/01/12
- Re: About the :distant-foreground face attribute,
Jan Djärv <=
- Re: About the :distant-foreground face attribute, David Engster, 2014/01/12
- Re: About the :distant-foreground face attribute, Jan Djärv, 2014/01/12
- Re: About the :distant-foreground face attribute, David Engster, 2014/01/12
- Re: About the :distant-foreground face attribute, Jan Djärv, 2014/01/12
- Re: About the :distant-foreground face attribute, Chong Yidong, 2014/01/12
- RE: About the :distant-foreground face attribute, Drew Adams, 2014/01/12
- Re: About the :distant-foreground face attribute, Jan Djärv, 2014/01/12
- RE: About the :distant-foreground face attribute, Drew Adams, 2014/01/12
- Re: About the :distant-foreground face attribute, Stefan Monnier, 2014/01/12
- Re: About the :distant-foreground face attribute, chad, 2014/01/12