<property name="has_separator">False</property>
<signal name="response" handler="gtk_widget_hide" object="prefs_window"/>
<signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
<property name="has_separator">False</property>
<signal name="response" handler="gtk_widget_hide" object="prefs_window"/>
<signal name="delete_event" handler="gtk_widget_hide_on_delete"/>