Index: webkit/api/public/gtk/WebInputEventFactory.h |
=================================================================== |
--- webkit/api/public/gtk/WebInputEventFactory.h (revision 30714) |
+++ webkit/api/public/gtk/WebInputEventFactory.h (working copy) |
@@ -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 @@ |
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*); |
}; |