diff options
| -rw-r--r-- | shell/main.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/shell/main.c b/shell/main.c index f40361cda0..68fc6b0c7b 100644 --- a/shell/main.c +++ b/shell/main.c @@ -150,6 +150,8 @@ view_delete_event_cb (GtkWidget *widget, shell = E_SHELL (data); gtk_widget_destroy (widget); + + /* FIXME we should keep track of the number of views and exit when all the views are gone. */ e_shell_quit (shell); } |