Device.freeHistory

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

class Device
static
void
freeHistory

Parameters

events GdkTimeCoord[]

an array of GdkTimeCoord. inout[transfer none]

Meta