Re: reducing defface redundancy

[Richard Stallman]

    It is a bug somewhere deep down in the code.  It is _supposed_ to only
    affect the "current" display spec, and leave all others as they were.
    I was surpised when I learned of this bug, but couldn't figure out how
    to fix it.

Did you at least figure out how the bug happens?
With that starting point, maybe someone else can design a good fix.