rem: gnibbles_properties_set_worms_number (t_properties->numworms);
add: gnibbles_properties_set_worms_number (value);
context: num_worms_cb (GtkWidget *widget, gpointer data){	if (!pref_dialog)		return;	t_properties->numworms = gtk_spin_button_get_value_as_int		(GTK_SPIN_BUTTON (data));	gnibbles_properties_set_worms_number (t_properties->numworms);}