--- a/src/core.c Mon Dec 16 00:19:44 2002 +0000 +++ b/src/core.c Mon Dec 16 03:58:54 2002 +0000 @@ -495,7 +495,7 @@ void core_quit() { - save_prefs(); + /* don't save prefs after plugins are gone... */ #ifndef _WIN32 { char buf[1024];