--- a/src/settings_gui.cpp	Mon Jun 02 01:46:03 2008 +0000
+++ b/src/settings_gui.cpp	Wed Jun 04 22:34:45 2008 +0000
@@ -761,7 +761,6 @@
 				page->entries = MallocT<PatchEntry>(page->num);
 				for (i = 0; i != page->num; i++) {
 					uint index;
-					printf("%s\n", page->names[i]);
 					const SettingDesc *sd = GetPatchFromName(page->names[i], &index);
 					assert(sd != NULL);