|
@@ -1386,13 +1386,13 @@ public class LevelEditorApplication : Gtk.Application
|
|
|
if (_save_timer_id > 0)
|
|
if (_save_timer_id > 0)
|
|
|
GLib.Source.remove(_save_timer_id);
|
|
GLib.Source.remove(_save_timer_id);
|
|
|
|
|
|
|
|
|
|
+ stop_backend();
|
|
|
|
|
+
|
|
|
if (_resource_chooser != null)
|
|
if (_resource_chooser != null)
|
|
|
_resource_chooser.destroy();
|
|
_resource_chooser.destroy();
|
|
|
|
|
|
|
|
if (_preferences_dialog != null)
|
|
if (_preferences_dialog != null)
|
|
|
_preferences_dialog.destroy();
|
|
_preferences_dialog.destroy();
|
|
|
-
|
|
|
|
|
- stop_backend();
|
|
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
protected override void shutdown()
|
|
protected override void shutdown()
|