How to use the GDKEvent\'s timestamp in c++?
For example, I print it as unsigned int, its value is 4194719109, but the current time is 1395764110 which is gotten from time() of
The time element of GdkEvent is in miliseconds. Comparing with g_get_monotonic_time() (which is in µs) divided by 1000 should work (make sure to check the sign and cast to guint32 before comparing)