Re: slow redisplay after changing cursor color

[Kim F. Storm]

Richard Stallman <address@hidden> writes:

>     An much simpler approach would be to state in the docs (manual and doc
>     string) that the effect of deriving other faces from "cursor",
>     "mouse" and a few other special-purpose faces is undefined.
>
>     We could even give those faces a special 'no-derive property so
>     e.g. defface / customize-face could check for and avoid such faces.
>
>     Then we can handle those faces specially  by simply not calling
>     free_all_realized_faces when changing them.
>
> That sounds good.  Please do it?

I'll give it a try.

-- 
Kim F. Storm  http://www.cua.dk