Re: can't set both mode-line color and default frame font?

[Stefan Monnier]

>> 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