[anjuta] file-manager: Handle G_FILE_MONITOR_EVENT_CHANGED correctly

[Johannes Schmid <jhs src gnome org>]

commit 8d7555581733dc72a098847a9ab9d60309445750
Author: Johannes Schmid <jhs gnome org>
Date:   Sun Jan 24 21:48:59 2010 +0100

    file-manager: Handle G_FILE_MONITOR_EVENT_CHANGED correctly
    
    Could be related to bgo#605050 -  Saving a file duplicates its entry in File Manager

 plugins/file-manager/file-model.c |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/plugins/file-manager/file-model.c b/plugins/file-manager/file-model.c
index cca2f29..1417647 100644
--- a/plugins/file-manager/file-model.c
+++ b/plugins/file-manager/file-model.c
@@ -441,7 +441,8 @@ on_file_model_changed (GFileMonitor* monitor,
 			g_object_unref (model_file);
 		}
 	}
-	if (event_type == G_FILE_MONITOR_EVENT_ATTRIBUTE_CHANGED ||
+	if (event_type == G_FILE_MONITOR_EVENT_CHANGED ||
+	    event_type == G_FILE_MONITOR_EVENT_ATTRIBUTE_CHANGED ||
 		event_type == G_FILE_MONITOR_EVENT_DELETED)
 	{
 		if (!found)
@@ -450,6 +451,7 @@ on_file_model_changed (GFileMonitor* monitor,
 	
 	switch (event_type)
 	{
+		case G_FILE_MONITOR_EVENT_CHANGED:
 		case G_FILE_MONITOR_EVENT_ATTRIBUTE_CHANGED:
 		case G_FILE_MONITOR_EVENT_CREATED:
 		{