From c24bd2344caa9a5f88a288a510b1a8081b797973 Mon Sep 17 00:00:00 2001
From: juha <juha@lazarus-ide.org>
Date: Sun, 30 Sep 2012 08:39:59 +0000
Subject: [PATCH] IDE: Mark source file as modified when on-disk change is
 ignored. Issue #22889

git-svn-id: trunk@38918 -
---
 ide/main.pp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ide/main.pp b/ide/main.pp
index 10c2b9d388..f3430dd89b 100644
--- a/ide/main.pp
+++ b/ide/main.pp
@@ -8476,6 +8476,8 @@ begin
         end else begin
           //DebugLn(['TMainIDE.DoCheckFilesOnDisk IgnoreCurrentFileDateOnDisk']);
           CurUnit.IgnoreCurrentFileDateOnDisk;
+          CurUnit.Modified:=True;
+          CurUnit.OpenEditorInfo[0].EditorComponent.Modified:=True;
         end;
       end;
     end;