Plug a little leak. We should not use 'delete_event' signal, because it doesn't get emitted when the dialog gets destroyed from a gtk_widget_destroy call. We should use the 'destroy' signal instead.