rem: t_properties->random = value;
context: random_order_cb (GtkWidget *widget, gpointer data){	gboolean value;	if (!pref_dialog)		return;	value = GTK_TOGGLE_BUTTON (widget)->active;	t_properties->random = value;	gtk_widget_set_sensitive (start_level_label, !value);	gtk_widget_set_sensitive (start_level_spin_button, !value);	gnibbles_properties_set_random (GTK_TOGGLE_BUTTON (widget)->active);}