[gtksourceview/wip/loader-saver: 16/28] FileSaver: use IGNORE_MODIFICATION_TIME flag
- From: Sébastien Wilmet <swilmet src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtksourceview/wip/loader-saver: 16/28] FileSaver: use IGNORE_MODIFICATION_TIME flag
- Date: Sun, 6 Jul 2014 16:41:30 +0000 (UTC)
commit d4ac5abdd0f8b6b3f53b187ffca513a656e1ea6f
Author: Sébastien Wilmet <swilmet gnome org>
Date: Tue Jun 10 23:28:39 2014 +0200
FileSaver: use IGNORE_MODIFICATION_TIME flag
gtksourceview/gtksourcefilesaver.c | 7 ++++++-
1 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/gtksourceview/gtksourcefilesaver.c b/gtksourceview/gtksourcefilesaver.c
index b983152..6f9df78 100644
--- a/gtksourceview/gtksourcefilesaver.c
+++ b/gtksourceview/gtksourcefilesaver.c
@@ -842,8 +842,13 @@ check_externally_modified_cb (GFile *location,
static void
check_externally_modified (GtkSourceFileSaver *saver)
{
+ if (saver->priv->flags & GTK_SOURCE_FILE_SAVER_FLAGS_IGNORE_MODIFICATION_TIME)
+ {
+ begin_write (saver);
+ }
+
DEBUG ({
- g_print ("%s\n", G_STRFUNC);
+ g_print ("Check externally modified\n");
});
g_file_query_info_async (saver->priv->location,
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]