Re: strange behavior of customize widget buttons

[Jason Rumney]

Gerd Moellmann <address@hidden> writes:

> Hm, I have no explanation for what is going on.  It looks as if
> something is changing a face, maybe internally.  I have no idea where
> this could happen, though.
> 
> Eli, can you reproduce this at will?

I managed to reproduce it one more time. It happened after I had
loaded lots of modes and done a `list-faces-display'. I wonder whether
it might be a failure in the color allocation code, so the old
white_relief and black_relief colors are used?

-- 
Jason Rumney <address@hidden>