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 f126a810cb8d..ae3743f25352 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 @@ -1137,7 +1137,7 @@ public class OptionsEditor extends JPanel implements DataProvider, Place.Navigat final Runnable runnable = SearchUtil.lightOptions(searchable, myContentWrapper, text, myGP); if (runnable != null) { - myVisible = myContext.isHoldingFilter(); + myVisible = true;//myContext.isHoldingFilter(); runnable.run(); boolean pushFilteringFurther = true;