IDE: Mark source file as modified when on-disk change is ignored. Issue #22889

git-svn-id: trunk@38918 -
This commit is contained in:
juha 2012-09-30 08:39:59 +00:00
parent d121635fa3
commit c24bd2344c

View File

@ -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;