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

Undo: fix 'cannot undo dummy file' (IDEA-92378)

Browse Source
This commit is contained in:
Anton Makeev
2012-11-30 15:24:11 +01:00
parent 0caa7a9f04
commit cc8755dc02
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/command/impl/CommandMerger.java
+6 -2
View File
@@ -188,13 +188,17 @@ public class CommandMerger {
Set<VirtualFile> affectedFiles = new HashSet<VirtualFile>();
for (DocumentReference each : myAllAffectedDocuments) {
VirtualFile file = each.getFile();
if (file == null || file instanceof LightVirtualFile) continue;
if (isVirtualDocumentChange(file)) continue;
affectedFiles.add(file);
if (affectedFiles.size() > 1) return true;
}
return false;
}
private static boolean isVirtualDocumentChange(VirtualFile file) {
return file == null || file instanceof LightVirtualFile;
}
public void undoOrRedo(FileEditor editor, boolean isUndo) {
flushCurrentCommand();
@@ -235,7 +239,7 @@ public class CommandMerger {
public boolean isPhysical() {
if (myAllAffectedDocuments.isEmpty()) return false;
for (DocumentReference each : myAllAffectedDocuments) {
if (each.getFile() == null) return false;
if (isVirtualDocumentChange(each.getFile())) return false;
}
return true;
}