I committed a tentative fix for this in revision 20781: the crash handler will no longer save the preferences.
I committed a tentative fix for this in revision 20781: the crash handler will no longer save the preferences.