[Inkscape-devel] preferences broken?

I gave up trying to find out why inkspace_dispose does not run, nor whether it is supposed to run, so I did this:

void inkscape_exit (Inkscape *inkscape) { // added if (inkscape->preferences) { inkscape_save_preferences (inkscape); }

gtk_main_quit (); }

This works for me. Preferences are saved on exit. I also added saving preferences to segv_handler so they are not lost upon crash.

What troubles me is that I still don't understand how it worked before. Has anyone changed anything recently that could affect this?

Please object and criticize. If there are no objections I will commit this change.