diff --git a/platform/platform-api/src/com/intellij/ide/SearchTopHitProvider.java b/platform/platform-api/src/com/intellij/ide/SearchTopHitProvider.java new file mode 100644 index 000000000000..0015f224ab7e --- /dev/null +++ b/platform/platform-api/src/com/intellij/ide/SearchTopHitProvider.java @@ -0,0 +1,28 @@ +/* + * Copyright 2000-2013 JetBrains s.r.o. + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ +package com.intellij.ide; + +import com.intellij.openapi.extensions.ExtensionPointName; +import com.intellij.util.Consumer; + +/** + * @author Konstantin Bulenkov + */ +public interface SearchTopHitProvider { + ExtensionPointName EP_NAME = ExtensionPointName.create("com.intellij.search.topHitProvider"); + + void consumeTopHits(String pattern, Consumer collector); +} diff --git a/platform/platform-resources/src/META-INF/PlatformExtensionPoints.xml b/platform/platform-resources/src/META-INF/PlatformExtensionPoints.xml index 8071398fe478..bd4ff01c6710 100644 --- a/platform/platform-resources/src/META-INF/PlatformExtensionPoints.xml +++ b/platform/platform-resources/src/META-INF/PlatformExtensionPoints.xml @@ -193,5 +193,7 @@ + + diff --git a/platform/platform-resources/src/META-INF/PlatformExtensions.xml b/platform/platform-resources/src/META-INF/PlatformExtensions.xml index b2b15516ea80..bb3e5ba7ebe4 100644 --- a/platform/platform-resources/src/META-INF/PlatformExtensions.xml +++ b/platform/platform-resources/src/META-INF/PlatformExtensions.xml @@ -304,5 +304,6 @@ +