GdkDisplay::set_double_click_time

void set_double_click_time(int msec);