Frees an array of GdkTimeCoord that was returned by gdk_device_get_history().
an array of GdkTimeCoord.
See Implementation
Frees an array of GdkTimeCoord that was returned by gdk_device_get_history().