<!-- interface-naming-policy project-wide -->
<object class="GtkWindow" id="window">
<property name="border_width">6</property>
- <signal name="destroy" handler="gtk_main_quit"/>
+ <signal name="delete_event" handler="on_window_delete_event"/>
<child>
<object class="GtkVBox" id="vbox">
<property name="visible">True</property>