[gtksourceview/wip/loader-saver: 16/28] FileSaver: use IGNORE_MODIFICATION_TIME flag

[Sébastien Wilmet <swilmet src gnome org>]

commit d4ac5abdd0f8b6b3f53b187ffca513a656e1ea6f
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Tue Jun 10 23:28:39 2014 +0200

    FileSaver: use IGNORE_MODIFICATION_TIME flag

 gtksourceview/gtksourcefilesaver.c |    7 ++++++-
 1 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/gtksourceview/gtksourcefilesaver.c b/gtksourceview/gtksourcefilesaver.c
index b983152..6f9df78 100644
--- a/gtksourceview/gtksourcefilesaver.c
+++ b/gtksourceview/gtksourcefilesaver.c
@@ -842,8 +842,13 @@ check_externally_modified_cb (GFile              *location,
 static void
 check_externally_modified (GtkSourceFileSaver *saver)
 {
+       if (saver->priv->flags & GTK_SOURCE_FILE_SAVER_FLAGS_IGNORE_MODIFICATION_TIME)
+       {
+               begin_write (saver);
+       }
+
        DEBUG ({
-              g_print ("%s\n", G_STRFUNC);
+              g_print ("Check externally modified\n");
        });
 
        g_file_query_info_async (saver->priv->location,