--- ./src/prefsdlg.cpp.old	2007-11-06 18:31:00 +0200

+++ ./src/prefsdlg.cpp	2007-11-06 18:31:29 +0200

@@ -727,6 +727,7 @@

 	gtk_box_pack_start(GTK_BOX(vbox),vbox1,false,false, 0);

 	GtkWidget *check_button;

+	GtkWidget *label;

 	check_button = gtk_check_button_new_with_mnemonic(_("_Enable sound event."));

 	bool enable=

 		conf->get_bool_at("dictionary/enable_sound_event");

@@ -748,7 +749,7 @@

 	gtk_box_pack_start(GTK_BOX(vbox1), hbox2, FALSE, FALSE, 0);

 #endif

-	GtkWidget *label = gtk_label_new(_("RealPeopleTTS search path:"));

+	label = gtk_label_new(_("RealPeopleTTS search path:"));

 	gtk_misc_set_alignment(GTK_MISC(label), 0, .5);

 	gtk_box_pack_start(GTK_BOX(vbox1),label,false,false,0);

 	tts_textview = gtk_text_view_new();