| 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*);
|
| };
|
|
|
|
|