diff --git a/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorsSplitters.java b/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorsSplitters.java index 1afc02766e6b..24857210cf54 100644 --- a/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorsSplitters.java +++ b/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorsSplitters.java @@ -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 myWindows = new ArrayListSet(); + final Set myWindows = new CopyOnWriteArraySet(); private final FileEditorManagerImpl myManager; private Element mySplittersElement; // temporarily used during initialization