[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: can't set both mode-line color and default frame font?
From: |
Drew Adams |
Subject: |
RE: can't set both mode-line color and default frame font? |
Date: |
Tue, 18 Sep 2007 13:08:21 -0700 |
> However, if we always give face customization precedence over
> X resources, then we don't need to disinguish GNOME's X resources
> from other X resources.
I don't have an opinion about this, and I'm usually on Windows, which has no
X resources.
It sounded logical to me when I read that customization should take
precedence over X resources. However, it just occurred to me that it might
also be useful for it to be the other way around.
A user might have the same `custom-file' on different platforms, and
different X resources for various platforms would then modulate the
behavior, if they took precedence over the `custom-file' settings.
Otherwise, to get the same effect, the user would need different
`custom-file's.
Just a thought.
- can't set both mode-line color and default frame font?, Chris Moore, 2007/09/09
- Re: can't set both mode-line color and default frame font?, Chris Moore, 2007/09/09
- Re: can't set both mode-line color and default frame font?, Richard Stallman, 2007/09/09
- Re: can't set both mode-line color and default frame font?, Jan Djärv, 2007/09/10
- Re: can't set both mode-line color and default frame font?, Richard Stallman, 2007/09/16
- Re: can't set both mode-line color and default frame font?, Jan Djärv, 2007/09/17
- Re: can't set both mode-line color and default frame font?, Richard Stallman, 2007/09/17
- Re: can't set both mode-line color and default frame font?, Jan Djärv, 2007/09/18
- Re: can't set both mode-line color and default frame font?, Richard Stallman, 2007/09/18
- RE: can't set both mode-line color and default frame font?,
Drew Adams <=
- Re: can't set both mode-line color and default frame font?, Jason Rumney, 2007/09/18
- RE: can't set both mode-line color and default frame font?, Drew Adams, 2007/09/18
- RE: can't set both mode-line color and default frame font?, Drew Adams, 2007/09/18
- RE: can't set both mode-line color and default frame font?, Davis Herring, 2007/09/18
- RE: can't set both mode-line color and default frame font?, Drew Adams, 2007/09/18
- RE: can't set both mode-line color and default frame font?, Davis Herring, 2007/09/18
- RE: can't set both mode-line color and default frame font?, Drew Adams, 2007/09/18
- RE: can't set both mode-line color and default frame font?, Davis Herring, 2007/09/18
- RE: can't set both mode-line color and default frame font?, Drew Adams, 2007/09/18
- Re: can't set both mode-line color and default frame font?, Stefan Monnier, 2007/09/19