[Webkit-unassigned] [Bug 15795] New: 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

           Summary: Change the mouse pointer state to busy while loading a
                    page
           Product: WebKit
           Version: 523.x+ (nightly)
          Platform: PC
        OS/Version: Linux
            Status: UNCONFIRMED
          Severity: Enhancement
          Priority: P2
         Component: WebKit Gtk
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: iwkse at claws-mail.org


It would be nice if the webkit_open_page could set the mouse pointer to busy
while loading a page.


-- 
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.