diff options
author | Ettore Perazzoli <ettore@src.gnome.org> | 2000-08-14 08:40:09 +0800 |
---|---|---|
committer | Ettore Perazzoli <ettore@src.gnome.org> | 2000-08-14 08:40:09 +0800 |
commit | c9cf12dec80399cf8b02472d73fbd47c93777de4 (patch) | |
tree | 3dfefccf203a3c0cff6806120f2842e6e61972e6 | |
parent | 54cc3f1e450b41603fac6b89b135e4d9ef5f523a (diff) | |
download | gsoc2013-evolution-c9cf12dec80399cf8b02472d73fbd47c93777de4.tar.gz gsoc2013-evolution-c9cf12dec80399cf8b02472d73fbd47c93777de4.tar.zst gsoc2013-evolution-c9cf12dec80399cf8b02472d73fbd47c93777de4.zip |
Make the close button on the ShellView quit Evolution. (Yeah, this is
not correct, but at least it prevents some nasty GC errors and
prevents evolution-mail from being left in a messy state.)
svn path=/trunk/; revision=4828
-rw-r--r-- | shell/ChangeLog | 4 | ||||
-rw-r--r-- | shell/e-shell-view.c | 16 |
2 files changed, 19 insertions, 1 deletions
diff --git a/shell/ChangeLog b/shell/ChangeLog index 5abcfd13ea..2bf2e6e1da 100644 --- a/shell/ChangeLog +++ b/shell/ChangeLog @@ -1,5 +1,9 @@ 2000-08-13 Ettore Perazzoli <ettore@helixcode.com> + * e-shell-view.c (delete_event): New. Make the parent shell quit. + +2000-08-13 Ettore Perazzoli <ettore@helixcode.com> + * e-shell-view.c (shell_view_interface_set_message_cb): Removed debugging message. (shell_view_interface_unset_message_cb): Likewise. diff --git a/shell/e-shell-view.c b/shell/e-shell-view.c index 8b62e57d2b..36e69f51bb 100644 --- a/shell/e-shell-view.c +++ b/shell/e-shell-view.c @@ -526,6 +526,19 @@ unrealize (GtkWidget *widget) gdk_flush (); } +static int +delete_event (GtkWidget *widget, + GdkEventAny *event) +{ + EShellView *shell_view; + EShell *shell; + + shell_view = E_SHELL_VIEW (widget); + + shell = e_shell_view_get_shell (shell_view); + e_shell_quit (shell); +} + /* Initialization. */ @@ -540,7 +553,8 @@ class_init (EShellViewClass *klass) object_class->destroy = destroy; - widget_class->unrealize = unrealize; + widget_class->unrealize = unrealize; + widget_class->delete_event = delete_event; parent_class = gtk_type_class (gnome_app_get_type ()); |