On Thu, Sep 25, 2008 at 03:24:55AM +0000, corvid wrote:
Johannes wrote (way back in June!):
* The cursor is not always updated properly when over a link. This happens while page is rendered and also when drag-scrolling with the middle mouse button.
How about updating it from layout()?
Yes, I think something like that is necessary. I also worked a bit on that problem (see attached patch), but got confused about how to handle multiple views. The mouse could be over a link in one view and somewhere else in another one (with overlapping windows). Is the mouse pointer a per view or a per platform thing? Anyway, attached patch solves the problem with the mouse pointer ending up over a link after loading has finished. Other corner cases do not yet work. Cheers, Johannes