Re: make-pointer-invisible on Windows

[martin rudalics]

>> I don't think it's worth changing this but in principle we could erase
>> from the main thread as well?
>
> We could, but that brings the difficulty I mentioned below, with
> collecting several such redraws of different rectangles, and
> repainting them all at once.  Not rocket science, but needs some work.

Silly me.  It's obviously Windows who does the erasing part _before_
sending us the WM_ERASEBKGND message and not us erase after receiving
that message.

martin