Source position: gdkinput.inc line 113
function gdk_device_get_history(
device: PGdkDevice;
window: PGdkWindow;
start: guint32;
stop: guint32;
var events: PPGdkTimeCoord;
n_events: Pgint
):gboolean;