[gedit] GeditDocument: better externally modified check

[Paolo Borelli <pborelli src gnome org>]

commit 0dc2ef751efe3dd8b50d74ccd6b6a019218c219d
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Mon Jul 21 17:47:37 2014 +0200

    GeditDocument: better externally modified check
    
    https://bugzilla.gnome.org/show_bug.cgi?id=671250

 gedit/gedit-document.c |    8 +++++---
 1 files changed, 5 insertions(+), 3 deletions(-)
---
diff --git a/gedit/gedit-document.c b/gedit/gedit-document.c
index 58f3536..36a8101 100644
--- a/gedit/gedit-document.c
+++ b/gedit/gedit-document.c
@@ -1306,9 +1306,11 @@ check_file_on_disk (GeditDocument *doc)
 
                        g_file_info_get_modification_time (info, &timeval);
 
-                       if (timeval.tv_sec > doc->priv->mtime.tv_sec ||
-                           (timeval.tv_sec == doc->priv->mtime.tv_sec &&
-                            timeval.tv_usec > doc->priv->mtime.tv_usec))
+                       /* Note that mtime can even go backwards if the
+                        * user is copying over a file with an old mtime
+                        */
+                       if (timeval.tv_sec != doc->priv->mtime.tv_sec ||
+                           timeval.tv_usec != doc->priv->mtime.tv_usec)
                        {
                                doc->priv->externally_modified = TRUE;
                        }