MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[peter] doc stamp and file stamp difference actually matters for isFileModified (otherwise asterisk will be shown after undo)

Browse Source
This commit is contained in:
Eugene Zhuravlev
2011-03-04 15:08:02 +01:00
parent 19b8ba05ed
commit 8043d53e26
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/FileDocumentManagerImpl.java
+2 -2
View File
@@ -234,7 +234,7 @@ public class FileDocumentManagerImpl extends FileDocumentManager implements Appl
try {
VirtualFile file = getFile(document);
if (file == null || !file.isValid() || file instanceof LightVirtualFile || !isDocumentUnsaved(document) || document.getModificationStamp() == file.getModificationStamp()) {
if (file == null || !file.isValid() || file instanceof LightVirtualFile || !isFileModified(file)) {
myUnsavedDocuments.remove(document);
fireUnsavedDocumentsDropped();
LOG.assertTrue(!myUnsavedDocuments.contains(document));
@@ -355,7 +355,7 @@ public class FileDocumentManagerImpl extends FileDocumentManager implements Appl
public boolean isFileModified(@NotNull VirtualFile file) {
final Document doc = getCachedDocument(file);
return doc != null && isDocumentUnsaved(doc);
return doc != null && isDocumentUnsaved(doc) && doc.getModificationStamp() != file.getModificationStamp();
}
public void addFileDocumentSynchronizationVetoer(@NotNull FileDocumentSynchronizationVetoListener vetoer) {