[gtksourceview] FileSaver: call gtk_text_buffer_set_modified(false)

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

commit e7ea5d2a03bb25cbc764a143836ef22eec9d6ff1
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Sat Dec 5 20:11:47 2015 +0100

    FileSaver: call gtk_text_buffer_set_modified(false)
    
    https://bugzilla.gnome.org/show_bug.cgi?id=758854

 gtksourceview/gtksourcefilesaver.c |    9 +++++++++
 1 files changed, 9 insertions(+), 0 deletions(-)
---
diff --git a/gtksourceview/gtksourcefilesaver.c b/gtksourceview/gtksourcefilesaver.c
index bd49e03..14f77ca 100644
--- a/gtksourceview/gtksourcefilesaver.c
+++ b/gtksourceview/gtksourcefilesaver.c
@@ -1374,6 +1374,9 @@ gtk_source_file_saver_save_async (GtkSourceFileSaver     *saver,
  * properties will be updated: the location, the encoding, the newline type and
  * the compression type.
  *
+ * Since the 3.20 version, gtk_text_buffer_set_modified() is called with %FALSE
+ * if the file has been saved successfully.
+ *
  * Returns: whether the file was saved successfully.
  * Since: 3.14
  */
@@ -1416,6 +1419,12 @@ gtk_source_file_saver_save_finish (GtkSourceFileSaver  *saver,
                }
        }
 
+       if (ok && saver->priv->source_buffer != NULL)
+       {
+               gtk_text_buffer_set_modified (GTK_TEXT_BUFFER (saver->priv->source_buffer),
+                                             FALSE);
+       }
+
        reset (saver);
 
        return ok;