[Webkit-unassigned] [Bug 15795] [GTK] Change the mouse pointer state to busy while loading a page

[bugzilla-daemon at webkit.org]

http://bugs.webkit.org/show_bug.cgi?id=15795


alp at atoker.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|INVALID                     |




------- Comment #6 from alp at atoker.com  2008-02-02 14:21 PDT -------
Yeah, I think it's OK for us to support this in WebCore directly, though it
might be worth providing a way to turn it off.

Xan, can you try adding a setPointerCursor() (or maybe pushPointerCursor()/pop
if you're feeling elaborate) to Cursor.h? Then we can just call this from
somewhere doing the loading.


-- 
Configure bugmail: http://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.