[gtksourceview/wip/loader-saver: 25/31] FileSaver: bug fix

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

commit 161900942c60ed9b35ba88f37fdbf55a0cb33c60
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Sat Jun 28 18:38:45 2014 +0200

    FileSaver: bug fix

 gtksourceview/gtksourcefilesaver.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/gtksourceview/gtksourcefilesaver.c b/gtksourceview/gtksourcefilesaver.c
index d14ef80..28136af 100644
--- a/gtksourceview/gtksourcefilesaver.c
+++ b/gtksourceview/gtksourcefilesaver.c
@@ -819,6 +819,9 @@ check_externally_modified_cb (GFile              *location,
                }
        }
 
+       /* FIXME for a "save as" it doesn't work, the mtime stored in
+        * GtkSourceFile is not for the good file.
+        */
        if (_gtk_source_file_get_modification_time (saver->priv->file, &old_mtime) &&
            info != NULL &&
            g_file_info_has_attribute (info, G_FILE_ATTRIBUTE_TIME_MODIFIED))
@@ -855,6 +858,7 @@ check_externally_modified (GtkSourceFileSaver *saver)
        if (saver->priv->flags & GTK_SOURCE_FILE_SAVER_FLAGS_IGNORE_MODIFICATION_TIME)
        {
                begin_write (saver);
+               return;
        }
 
        DEBUG ({