From bde19ff00c9fdf3085f87e3ea837e969ec2d3593 Mon Sep 17 00:00:00 2001
From: Kirill Kalishev <kirill.kalishev@jetbrains.com>
Date: Mon, 11 Jul 2011 14:18:28 +0400
Subject: [PATCH] options editor -- selection move on name hit when inserting
 to the search pattern

---
 .../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 871670575608..e525d0a31460 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
@@ -811,7 +811,7 @@ public class OptionsEditor extends JPanel implements DataProvider, Place.Navigat
         shouldMoveSelection = false;
       }
 
-      if (shouldMoveSelection && (myFiltered == null || myFiltered.contains(current))) {
+      if (shouldMoveSelection && type != DocumentEvent.EventType.INSERT && (myFiltered == null || myFiltered.contains(current))) {
         shouldMoveSelection = false;
       }