Re: Setting cursor-type does not trigger redisplay of cursor

["Richard M. Stallman" <rms@gnu.org>]

    This problem is not limited to cursor-type variable, but any variable
    which influences redisplay, e.g. mode-line-format, header-line-format,
    cursor-type, frame-parameters (cursor color), and other stuff
    ...

    Alternatively, we need to find all the variables that may influence
    display, and store previous/current value for each window -- which
    is not as trivial as you may think, e.g. some text properties may
    depend on arbitrary variables, so there is no definite list.

Indeed, it seems too difficult to fix.  I guess all we can do
is to document the need to call force-window-update in such cases.
The explanations of the variables that this situation exists for could
mention force-window-update with a cross reference.

Would you like to do that?