diff --git a/platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java b/platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java index 871670575608..23a751e6ba99 100644 --- a/platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java +++ b/platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java @@ -108,7 +108,7 @@ public class OptionsEditor extends JPanel implements DataProvider, Place.Navigat //[back/forward] private ActionToolbar myToolbar; private Window myWindow; private final PropertiesComponent myProperties; - private boolean myDisposed; + private volatile boolean myDisposed; public OptionsEditor(Project project, ConfigurableGroup[] groups, Configurable preselectedConfigurable) { myProject = project;