mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Add doc
(cherry picked from commit dd94863481555c22666a50a36b12ba2f9ae3798a) IJ-MR-168243 GitOrigin-RevId: e681c5ed54c0cdf76460fd75aa3e76a502a59619
This commit is contained in:
committed by
intellij-monorepo-bot
parent
c878a86c04
commit
ce7735e2ee
+6
@@ -11,6 +11,12 @@ import org.jetbrains.annotations.Nullable;
|
||||
*/
|
||||
public interface EssentialContributor {
|
||||
|
||||
/**
|
||||
* Defines whether the contributor should be considered essential by default.
|
||||
* This behavior may be altered by a machine learning model (the non-default behavior).
|
||||
*
|
||||
* @see EssentialContributor#checkEssential(SearchEverywhereContributor)
|
||||
*/
|
||||
default boolean isEssentialByDefault() {
|
||||
return true;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user