Source position: gdkdisplay.inc line 79
procedure gdk_display_set_double_click_time(
display: PGdkDisplay;
msec: guint
);