Reviewed by Geoff Garen
authorsullivan <sullivan@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 21 Dec 2006 23:02:26 +0000 (23:02 +0000)
committersullivan <sullivan@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 21 Dec 2006 23:02:26 +0000 (23:02 +0000)
commitb53cade92b63695de36cd8e87680e88805c0dd69
tree039eeb8b5e283ebe6acab836006a6b657539cb97
parentb3decbb8f8060ab60bb3e1882f8b836854bc50cc
    Reviewed by Geoff Garen

        - added WebKit support for making a web page temporarily ignore mouse movements

        * WebView/WebViewPrivate.h:
        declare ignoresMouseMovedEvents and setIgnoresMouseMovedEvents:

        * WebView/WebView.mm:
        added ignoresMouseMovedEvents boolean field to _private data structure
        (-[WebView setIgnoresMouseMovedEvents:]):
        set new boolean field
        (-[WebView ignoresMouseMovedEvents]):
        return new boolean field

        * WebView/WebHTMLView.m:
        (-[WebHTMLView _updateMouseoverWithEvent:]):
        bail out right away if [[self _webView] ignoresMouseMovedEvents]

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@18381 268f45cc-cd09-0410-ab3c-d52691b4dbfc
WebKit/ChangeLog
WebKit/WebView/WebHTMLView.m
WebKit/WebView/WebView.mm
WebKit/WebView/WebViewPrivate.h