[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: |
Stefan Monnier |
Subject: |
Re: can't set both mode-line color and default frame font? |
Date: |
Tue, 18 Sep 2007 17:54:14 -0400 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/23.0.50 (gnu/linux) |
>> 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.
Note that the ordering only matters when there are settings to the same data
in both places. The user is free to choose whether to place settings in
custom-file, so if she wants to use Xresources, she can simply refrain from
putting the settings on custom-file.
Stefan
- RE: can't set both mode-line color and default frame font?, (continued)
- 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
- RE: can't set both mode-line color and default frame font?, Drew Adams, 2007/09/19
- RE: can't set both mode-line color and default frame font?, Davis Herring, 2007/09/19
- Re: can't set both mode-line color and default frame font?, Richard Stallman, 2007/09/19
- Re: can't set both mode-line color and default frame font?, Jan Djärv, 2007/09/19
- Re: can't set both mode-line color and default frame font?,
Stefan Monnier <=
- 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?, Jan Djärv, 2007/09/19
- Re: can't set both mode-line color and default frame font?, Jan Djärv, 2007/09/19
- Re: can't set both mode-line color and default frame font?, Stefan Monnier, 2007/09/17
- Re: can't set both mode-line color and default frame font?, Richard Stallman, 2007/09/17