rem: if (t_properties->tilesize != properties->tilesize) { gtk_widget_set_size_request (GTK_WIDGET (drawing_area), t_properties->tilesize * BOARDWIDTH, t_properties->tilesize * BOARDHEIGHT); } gnibbles_properties_destroy (properties); properties = gnibbles_properties_copy (t_properties); gnibbles_properties_save (properties);
add: gtk_widget_set_size_request (GTK_WIDGET (drawing_area), properties->tilesize * BOARDWIDTH, properties->tilesize * BOARDHEIGHT);
context: apply_cb (GtkWidget *widget, gint action, gpointer data){	if (t_properties->tilesize != properties->tilesize) {		gtk_widget_set_size_request (GTK_WIDGET (drawing_area),					     t_properties->tilesize * BOARDWIDTH,					     t_properties->tilesize * BOARDHEIGHT);	}	gnibbles_properties_destroy (properties);	properties = gnibbles_properties_copy (t_properties);	gnibbles_properties_save (properties);	update_score_state ();	gtk_widget_destroy (widget);}