diff options
author | estade@chromium.org <estade@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-11-02 18:51:22 +0000 |
---|---|---|
committer | estade@chromium.org <estade@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-11-02 18:51:22 +0000 |
commit | 20239df9d0639a19600526804f7d4e673fe25e61 (patch) | |
tree | 22a31875ddb40d0dfc4762e26cc34db66aab0dd1 /webkit/api/public | |
parent | 5ce1080087f15aba535651d45fedd456992641cf (diff) | |
download | chromium_src-20239df9d0639a19600526804f7d4e673fe25e61.zip chromium_src-20239df9d0639a19600526804f7d4e673fe25e61.tar.gz chromium_src-20239df9d0639a19600526804f7d4e673fe25e61.tar.bz2 |
Handle GTK enter and leave notification events and pass them to WebKit as
mouse move events. This prevents an HTML widget from staying in the mouseover
state when the cursor leaves the window. Add a new ui test that checks
the specific case that was broken by warping the mouse pointer inside and
outside the content area.
BUG=24660
TEST=ui_tests
patch by Dominic Mazzoni <dmazzoni [at] google>
original review: http://codereview.chromium.org/274010/show
Review URL: http://codereview.chromium.org/354010
git-svn-id: svn://svn.chromium.org/chrome/trunk/src@30726 0039d316-1c4b-4281-b951-d872f2087c98
Diffstat (limited to 'webkit/api/public')
-rw-r--r-- | webkit/api/public/gtk/WebInputEventFactory.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/webkit/api/public/gtk/WebInputEventFactory.h b/webkit/api/public/gtk/WebInputEventFactory.h index 5fdfa97..f8ce4f0 100644 --- a/webkit/api/public/gtk/WebInputEventFactory.h +++ b/webkit/api/public/gtk/WebInputEventFactory.h @@ -35,6 +35,7 @@ typedef struct _GdkEventButton GdkEventButton; typedef struct _GdkEventMotion GdkEventMotion; +typedef struct _GdkEventCrossing GdkEventCrossing; typedef struct _GdkEventScroll GdkEventScroll; typedef struct _GdkEventKey GdkEventKey; @@ -50,6 +51,7 @@ namespace WebKit { WEBKIT_API static WebKeyboardEvent keyboardEvent(wchar_t character, int state, double timeStampSeconds); WEBKIT_API static WebMouseEvent mouseEvent(const GdkEventButton*); WEBKIT_API static WebMouseEvent mouseEvent(const GdkEventMotion*); + WEBKIT_API static WebMouseEvent mouseEvent(const GdkEventCrossing*); WEBKIT_API static WebMouseWheelEvent mouseWheelEvent(const GdkEventScroll*); }; |