Package com.intellij.ide.ui

Class EditorOptionsTopHitProvider.Ex

java.lang.Object

com.intellij.ide.ui.EditorOptionsTopHitProvider.Ex

All Implemented Interfaces:

SearchTopHitProvider, OptionsSearchTopHitProvider, OptionsSearchTopHitProvider.ApplicationLevelProvider, OptionsTopHitProvider.CoveredByToggleActions

Enclosing class:

EditorOptionsTopHitProvider

public static class EditorOptionsTopHitProvider.Ex
extends java.lang.Object
implements OptionsTopHitProvider.CoveredByToggleActions, OptionsSearchTopHitProvider.ApplicationLevelProvider

Nested Class Summary

Nested classes/interfaces inherited from interface com.intellij.ide.ui.OptionsSearchTopHitProvider

OptionsSearchTopHitProvider.ApplicationLevelProvider, OptionsSearchTopHitProvider.ProjectLevelProvider

Field Summary

Fields inherited from interface com.intellij.ide.SearchTopHitProvider

EP_NAME

Constructor Summary

Constructors

Constructor and Description
Ex()

Method Summary

Modifier and Type	Method and Description
java.lang.String	getId()
java.util.Collection<OptionDescription>	getOptions()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.intellij.ide.ui.OptionsSearchTopHitProvider.ApplicationLevelProvider

consumeTopHits

Methods inherited from interface com.intellij.ide.ui.OptionsSearchTopHitProvider

preloadNeeded

Methods inherited from interface com.intellij.ide.SearchTopHitProvider

getTopHitAccelerator

Constructor Detail

Ex

public Ex()

Method Detail

getOptions

public java.util.Collection<OptionDescription> getOptions()

Specified by:

getOptions in interface OptionsSearchTopHitProvider.ApplicationLevelProvider

getId

public java.lang.String getId()

Specified by:

getId in interface OptionsSearchTopHitProvider