Destroy editors first to avoid disconnection from dead signals.

This commit is contained in:
David Capello 2011-07-31 22:41:49 -03:00
parent 2835d642a0
commit 100894ceea

View File

@ -297,12 +297,17 @@ int App::run()
// Run the GUI main message loop
gui_run();
// Uninstall support to drop files
uninstall_drop_files();
// Remove the root-menu from the menu-bar (because the rootmenu
// module should destroy it).
menubar->setMenu(NULL);
// Delete all editors first because they used signals from other
// widgets (e.g. color bar).
jwidget_free(box_editors);
// Destroy the top-window
jwidget_free(top_window);
top_window = NULL;