Re: Custom themes

[David Kastrup]

"Richard M. Stallman" <address@hidden> writes:

>     If I had to implement themes from scratch, my philosophy would be that
>     if two loaded themes conflict, then the most recently added one takes
>     precedence.
>
> That sounds like a good approach.  I see a few approaches that
> could make sense:
>
> 1. Most recent takes priority.
> 2. Let user specify the priority order.
> 3. Don't allow loading themes that conflict.

3 is out as far as I can see.  The whole point of themes is that they
are overriding the "standard" theme, so conflict management is one of
the main points of themes.

>       This requires unconditional loading as the
>     basic theme adding operation.
>
> I do not understand "unconditional loading".  Could you explain what
> you mean by that?

I guess that a theme, when required, will get reloaded even if it has
been loaded previously.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum