From ee4498146e716e470cc347e21eef6c987da4502a Mon Sep 17 00:00:00 2001
From: anna <Anna.Kozlova@jetbrains.com>
Date: Tue, 30 Apr 2013 09:50:34 +0200
Subject: [PATCH] preserve settings selection after filter is cleared
 (IDEA-106166)

---
 .../com/intellij/openapi/options/newEditor/OptionsEditor.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 4fd18a52decb..f653fd0c6c57 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
@@ -901,7 +901,7 @@ public class OptionsEditor extends JPanel implements DataProvider, Place.Navigat
         shouldMoveSelection = false;
       }
 
-      Configurable toSelect = null;
+      Configurable toSelect = adjustSelection ? current : null;
       if (shouldMoveSelection && myHits != null) {
         if (!myHits.getNameHits().isEmpty()) {
           toSelect = suggestToSelect(myHits.getNameHits(), myHits.getNameFullHits());