| Index: webkit/api/public/gtk/WebInputEventFactory.h | 
| =================================================================== | 
| --- webkit/api/public/gtk/WebInputEventFactory.h	(revision 19224) | 
| +++ webkit/api/public/gtk/WebInputEventFactory.h	(working copy) | 
| @@ -47,6 +47,7 @@ | 
| class WebInputEventFactory { | 
| public: | 
| WEBKIT_API static WebKeyboardEvent keyboardEvent(const GdkEventKey*); | 
| +        WEBKIT_API static WebKeyboardEvent keyboardEvent(wchar_t character, double timeStampSeconds); | 
| WEBKIT_API static WebMouseEvent mouseEvent(const GdkEventButton*); | 
| WEBKIT_API static WebMouseEvent mouseEvent(const GdkEventMotion*); | 
| WEBKIT_API static WebMouseWheelEvent mouseWheelEvent(const GdkEventScroll*); | 
|  |