[webkit-reviews] review requested: [Bug 105729] Mouse cursor is not reset when a new page is loaded : [Attachment 180682] Patch

[bugzilla-daemon at webkit.org]

Christophe Dumez <christophe.dumez at intel.com> has asked  for review:
Bug 105729: Mouse cursor is not reset when a new page is loaded
https://bugs.webkit.org/show_bug.cgi?id=105729

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

------- Additional Comments from Christophe Dumez <christophe.dumez at intel.com>
Fix style errors.