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

don't record undo for free-threaded document changes (EA-123049 - REWA: DocumentReferenceManagerImpl.create)

Browse Source
This commit is contained in:
peter
2018-06-25 18:59:10 +02:00
parent b45dbc949a
commit 2c2f8b97c9
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/command/impl/DocumentUndoProvider.java
+2
View File
@@ -16,6 +16,7 @@
package com.intellij.openapi.command.impl;
import com.intellij.openapi.Disposable;
import com.intellij.openapi.application.ApplicationManager;
import com.intellij.openapi.command.undo.DocumentReference;
import com.intellij.openapi.command.undo.DocumentReferenceManager;
import com.intellij.openapi.command.undo.UndoConstants;
@@ -88,6 +89,7 @@ public class DocumentUndoProvider implements Disposable {
private boolean shouldProcess(Document document) {
if (myProject != null && myProject.isDisposed()) return false;
if (!ApplicationManager.getApplication().isDispatchThread()) return false; // some light document
return !UndoManagerImpl.isCopy(document) // if we don't ignore copy's events, we will receive notification
// for the same event twice (from original document too)
// and undo will work incorrectly