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?

Done.

I only added the face-no-inherit property for the `cursor' face at this time.

I didn't change defface / custormize-face to reject :inherit from face
with the face-no-inherit property  (it would be nice, but I don't quite
know how to do that).

Is it necessary to add anything to NEWS or the manuals about this ?

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