From c94ca2b00d744747ca744dfac2b4920ba51f2c99 Mon Sep 17 00:00:00 2001
From: Ettore Perazzoli <ettore@src.gnome.org>
Date: Sat, 23 Jun 2001 06:49:59 +0000
Subject: [PATCH] Fix the "Quit" command so that the shell actually exits
 properly.

svn path=/trunk/; revision=10435
---
 shell/ChangeLog           | 5 +++++
 shell/e-shell-view-menu.c | 2 ++
 2 files changed, 7 insertions(+)

diff --git a/shell/ChangeLog b/shell/ChangeLog
index 431b87ba5e..b4b2300a29 100644
--- a/shell/ChangeLog
+++ b/shell/ChangeLog
@@ -1,3 +1,8 @@
+2001-06-23  Ettore Perazzoli  <ettore@ximian.com>
+
+	* e-shell-view-menu.c (command_quit): Add a `gtk_main_quit()' at
+	the end here.
+
 2001-06-23  Ettore Perazzoli  <ettore@ximian.com>
 
 	* Makefile.am: Add rules to build the test component and an
diff --git a/shell/e-shell-view-menu.c b/shell/e-shell-view-menu.c
index 8936fbed3d..09ea066bcf 100644
--- a/shell/e-shell-view-menu.c
+++ b/shell/e-shell-view-menu.c
@@ -157,6 +157,8 @@ command_quit (BonoboUIComponent *uih,
 
 	shell = e_shell_view_get_shell (shell_view);
 	e_shell_quit (shell);
+
+	gtk_main_quit ();
 }
 
 #if 0