+#if GTK_CHECK_VERSION(2, 12, 0)
+ if (GTK_CHECK_VERSION(3,0,0) || gtk_check_version(2,12,0) == NULL)
+ {
+ GtkSettings* settings = gtk_settings_get_default();
+ if (settings)
+ gtk_settings_set_long_property(settings, "gtk-tooltip-timeout", msecs, NULL);
+ }
+ else
+#endif
+ {
+#if !GTK_CHECK_VERSION(3,0,0) && !defined(GTK_DISABLE_DEPRECATED)
+ if (!gs_tooltips)
+ gs_tooltips = gtk_tooltips_new();
+
+ gtk_tooltips_set_delay( gs_tooltips, (int)msecs );
+#endif
+ }
+}