Improvements to FilePollManager...

Author: Meychi

FlashDevelop/Docking/TabbedDocument.cs

@@ -345,15 +345,22 @@ public Boolean CheckFileChange()
             if (!Globals.MainForm.ClosingEntirely && File.Exists(this.FileName))
             {
                 FileInfo fi = new FileInfo(this.FileName);
-                if (this.fileInfo.LastWriteTime != fi.LastWriteTime)
-                {
-                    this.fileInfo = fi;
-                    return true;
-                }
+                if (this.fileInfo.LastWriteTime != fi.LastWriteTime) return true;
             }
             return false;
         }
 
+        /// <summary>
+        /// Updates the file info after user dismisses the change notification
+        /// </summary>
+        public void RefreshFileInfo()
+        {
+            if (!Globals.MainForm.ClosingEntirely && File.Exists(this.FileName))
+            {
+                this.fileInfo = new FileInfo(this.FileName);
+            }
+        }
+
         /// <summary>
         /// Saves an editable document
         /// </summary>

FlashDevelop/Managers/FilePollManager.cs

@@ -58,6 +58,7 @@ private static void CheckFileChange(ITabbedDocument document)
                     MessageBoxManager.Cancel = TextHelper.GetString("Label.YesToAll");
                     MessageBoxManager.Register(); // Use custom labels...
                     DialogResult result = MessageBox.Show(Globals.MainForm, formatted, " " + dlgTitle, MessageBoxButtons.YesNoCancel, MessageBoxIcon.Information);
+                    casted.RefreshFileInfo(); // User may have waited before responding, save info now
                     if (result == DialogResult.Yes) casted.Reload(false);
                     else if (result == DialogResult.Cancel)
                     {