[anjuta] document-manager: emit "document-removed" for open documents in dispose

[Carl-Anton Ingmarsson <carlantoni src gnome org>]

commit 15fd46f716a0399fe132871a08bcbf0423244702
Author: Carl-Anton Ingmarsson <ca ingmarsson gmail com>
Date:   Fri Feb 1 10:33:22 2013 +0100

    document-manager: emit "document-removed" for open documents in dispose

 plugins/document-manager/anjuta-docman.c |   11 ++++++-----
 1 files changed, 6 insertions(+), 5 deletions(-)
---
diff --git a/plugins/document-manager/anjuta-docman.c b/plugins/document-manager/anjuta-docman.c
index 5809be8..4cf3bbd 100644
--- a/plugins/document-manager/anjuta-docman.c
+++ b/plugins/document-manager/anjuta-docman.c
@@ -1029,12 +1029,13 @@ anjuta_docman_dispose (GObject *obj)
 		docman->priv->pages = NULL;
 		for (node = pages; node != NULL; node = g_list_next (node))
 		{
+			AnjutaDocmanPage* page = node->data;
+
+			g_signal_emit(docman, docman_signals[DOC_REMOVED], 0, page->doc);
+
 			/* this also tries to destroy any notebook-page-widgets, in case
-			   they're not gone already
-		 CHECKME at shutdown do we need "destroy" signals in case other plugins
-		   hold refs on any page(s) or their contents ?
-			*/
-			anjuta_docman_page_destroy ((AnjutaDocmanPage *)node->data);
+			   they're not gone already. */
+			anjuta_docman_page_destroy (page);
 		}
 		g_list_free (pages);
 	}