GNOME Bugzilla – Bug 758854
The file saver should call gtk_text_buffer_set_modified()
Last modified: 2015-12-05 19:23:30 UTC
gtk_source_file_saver_save_finish() should call gtk_text_buffer_set_modified() to set the buffer as "saved" if the file saving was successful.
Fixed.