GtkSource.FileSaverFlags.IGNORE_MODIFICATION_TIME – gtksourceview-5 Reference Manual
IGNORE_MODIFICATION_TIME
Description:
IGNORE_MODIFICATION_TIME
Save file despite external modifications.
2022 vala-language.org