MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-08 15:09:39 +07:00
Code Issues Packages Projects Releases Wiki Activity

do not allow to modify this set directly

Browse Source 
GitOrigin-RevId: 1cf5133d0b14a4af19483a5f27789fcad6663915
This commit is contained in:
Sergey Malenkov
2020-02-19 21:36:20 +03:00
committed by intellij-monorepo-bot
parent 386b8688b5
commit 5b809a5bae
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditorContext.java
View File

@@ -1,4 +1,4 @@
// Copyright 2000-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
// Copyright 2000-2020 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
package com.intellij.openapi.options.newEditor;
import com.intellij.openapi.options.Configurable;
@@ -17,6 +17,8 @@ import java.util.Map;
import java.util.Set;
import java.util.concurrent.CopyOnWriteArraySet;
import static java.util.Collections.unmodifiableSet;
public class OptionsEditorContext {
CopyOnWriteArraySet<OptionsEditorColleague> myColleagues = new CopyOnWriteArraySet<>();
@@ -151,7 +153,7 @@ public class OptionsEditorContext {
}
public Set<Configurable> getModified() {
return myModified;
return unmodifiableSet(myModified);
}
public Map<Configurable, ConfigurationException> getErrors() {