[webkit-reviews] review requested: [Bug 15795] [GTK] Change the mouse pointer state to busy while loading a page : [Attachment 225352] Patch

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Thu Feb 27 03:14:39 PST 2014


Diego Pino <dpino at igalia.com> has asked  for review:
Bug 15795: [GTK] Change the mouse pointer state to busy while loading a page
https://bugs.webkit.org/show_bug.cgi?id=15795

Attachment 225352: Patch
https://bugs.webkit.org/attachment.cgi?id=225352&action=review


More information about the webkit-reviews mailing list