Device.freeHistory

Frees an array of GdkTimeCoord that was returned by Device.getHistory.

class Device
static
void
freeHistory

Parameters

events GdkTimeCoord*[]

an array of GdkTimeCoord