[gtksourceview/wip/loader-saver: 14/19] 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: 14/19] FileSaver: use IGNORE_MODIFICATION_TIME flag
- Date: Fri, 27 Jun 2014 21:56:41 +0000 (UTC)
commit 6f776595104f9962bc8725c711f9d4ddc6f548b4
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]