2 #include <gtk/gtkprivate.h>
4 #include <gdk/gdkkeysyms.h>
7 #include "gtk2-funcs.h"
9 extern guint32 gtk2_get_current_event_time (void);
12 gtk2_get_current_event_time (void)
14 GdkEvent *ev = gtk_get_current_event();
17 result = gdk_event_get_time(ev);
21 return GDK_CURRENT_TIME;