--- mono-tools-2.10/docbrowser/browser.cs.orig	2012-08-28 15:16:04.012000069 +0200
+++ mono-tools-2.10/docbrowser/browser.cs	2012-08-28 15:16:45.075000070 +0200
@@ -937,6 +937,7 @@
 	void delete_event_cb (object o, DeleteEventArgs args)
 	{
 		Application.Quit ();
+		args.RetVal = true;
 	}
 	void on_print_activate (object sender, EventArgs e) 
 	{