Re: Bug, probably related to Custom Themes.

[Richard M. Stallman]

    Also everybody writing future code for Custom should realize that when
    they want to access the standard value, they should not just look at
    the 'standard-value property but that they should use the non-user
    theme value instead if there is one.

Maybe we should add a subroutine which does this, to help people
get it right every time.