From 82c7d6904d409c5a49c0ae8e146ee910b63877ce Mon Sep 17 00:00:00 2001
From: Konstantin Bulenkov <kb@jetbrains.com>
Date: Tue, 23 Sep 2014 15:10:05 +0200
Subject: [PATCH] add isEnabled(Project) to OptionTopHitProvider

---
 .../src/com/intellij/ide/ui/OptionsTopHitProvider.java        | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/platform/platform-impl/src/com/intellij/ide/ui/OptionsTopHitProvider.java b/platform/platform-impl/src/com/intellij/ide/ui/OptionsTopHitProvider.java
index 1daa43e6ea81..f0a4745b23b6 100644
--- a/platform/platform-impl/src/com/intellij/ide/ui/OptionsTopHitProvider.java
+++ b/platform/platform-impl/src/com/intellij/ide/ui/OptionsTopHitProvider.java
@@ -61,6 +61,10 @@ public abstract class OptionsTopHitProvider implements SearchTopHitProvider {
 
   public abstract String getId();
 
+  public boolean isEnabled(@Nullable Project project) {
+    return true;
+  }
+
   static String messageApp(String property) {
     return StringUtil.stripHtml(ApplicationBundle.message(property), false);
   }