+#if GTK_CHECK_VERSION(2, 12, 0)
+ if (!gtk_check_version(2, 12, 0))
+ {
+ GtkSettings* settings = gtk_settings_get_default();
+ if(!settings)
+ return;
+ gtk_settings_set_long_property(settings, "gtk-tooltip-timeout", msecs, NULL);
+ }
+ else
+#endif
+ {
+ if (!gs_tooltips)
+ return;
+
+ // FIXME: This is a deprecated function and might not even have an effect.
+ // Try to not use it, after which remove the prototype above.
+ gtk_tooltips_set_delay( gs_tooltips, (int)msecs );
+ }
+}
+
+void wxToolTip::SetAutoPop( long WXUNUSED(msecs) )
+{
+}
+
+void wxToolTip::SetReshow( long WXUNUSED(msecs) )
+{