Gtk.SourceFileSaverFlags.IGNORE_MODIFICATION_TIME – gtksourceview-3.0 Reference Manual
IGNORE_MODIFICATION_TIME
Description:
IGNORE_MODIFICATION_TIME
Save file despite external modifications.
2022 vala-language.org