From c933b9e59ecd2a70c778302fcab069fb8d430588 Mon Sep 17 00:00:00 2001
From: Konstantin Bulenkov <kb@jetbrains.com>
Date: Tue, 23 Sep 2014 15:12:04 +0200
Subject: [PATCH] check that an OptionTopHitProvider is enabled while searching
 in SE

---
 .../src/com/intellij/ide/actions/SearchEverywhereAction.java   | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/platform/lang-impl/src/com/intellij/ide/actions/SearchEverywhereAction.java b/platform/lang-impl/src/com/intellij/ide/actions/SearchEverywhereAction.java
index a129a65477dc..85865d0cd45e 100644
--- a/platform/lang-impl/src/com/intellij/ide/actions/SearchEverywhereAction.java
+++ b/platform/lang-impl/src/com/intellij/ide/actions/SearchEverywhereAction.java
@@ -1833,6 +1833,9 @@ public class SearchEverywhereAction extends AnAction implements CustomComponentA
 
         for (SearchTopHitProvider provider : SearchTopHitProvider.EP_NAME.getExtensions()) {
           check();
+          if (provider instanceof OptionsTopHitProvider && !((OptionsTopHitProvider)provider).isEnabled(project)) {
+            continue;
+          }
           provider.consumeTopHits(pattern, consumer, project);
         }
       }