This is an unnecessary and not-recommended-to-be-used wrapper around gdk_display_set_double_click_time.