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

Fix for ConcurrentModificationException

Browse Source
This commit is contained in:
Vassiliy Kudryashov
2012-08-03 13:47:43 +04:00
parent 0fbb0b0414
commit 1001edf4d2
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorsSplitters.java
+2 -1
View File
@@ -55,6 +55,7 @@ import java.awt.datatransfer.Transferable;
import java.io.File;
import java.util.*;
import java.util.List;
import java.util.concurrent.CopyOnWriteArraySet;
/**
@@ -64,7 +65,7 @@ public class EditorsSplitters extends JPanel {
private static final Logger LOG = Logger.getInstance("#com.intellij.openapi.fileEditor.impl.EditorsSplitters");
private EditorWindow myCurrentWindow;
final Set<EditorWindow> myWindows = new ArrayListSet<EditorWindow>();
final Set<EditorWindow> myWindows = new CopyOnWriteArraySet<EditorWindow>();
private final FileEditorManagerImpl myManager;
private Element mySplittersElement; // temporarily used during initialization