g_object_get (gtk_widget_get_settings (widget),
"gtk-timeout-repeat", &key_repeat, NULL);
- key_repeat *= 5;
+ key_repeat *= 8;
/* Keep changing the time as long as button is being pressed.
The first repeat takes 3 times longer to start than the rest. */
g_object_get (gtk_widget_get_settings ((GtkWidget *) tpicker),
"gtk-timeout-repeat", &key_repeat, NULL);
- key_repeat *= 5;
+ key_repeat *= 8;
/* This is the first repeat. Shorten the timeout to key_repeat
(instead of the first time's 3*key_repeat) */