org.eclipse.fx.ui.preferences

Interface PreferencePageProvider

public interface PreferencePageProvider

Service interface providing a page to display

Method Summary

Modifier and Type	Method and Description
java.lang.String	id()
default java.util.Optional<Memento>	memento()
java.lang.Class<? extends PreferencePage>	pageType()
default java.util.Optional<java.lang.String>	parentId()
default boolean	select(java.lang.CharSequence term) Checks if the page matches the keywork
javafx.beans.value.ObservableValue<java.lang.CharSequence>	titleProperty()

Method Detail

select

default boolean select(java.lang.CharSequence term)

Checks if the page matches the keywork

Parameters:

term - the term used for selection

Returns:

true if matched

titleProperty

javafx.beans.value.ObservableValue<java.lang.CharSequence> titleProperty()

Returns:

the title of the page

id

java.lang.String id()

Returns:

the id of this page

parentId

default java.util.Optional<java.lang.String> parentId()

Returns:

the id of the parent

memento

default java.util.Optional<Memento> memento()

Returns:

an optional memento used for storing

pageType

java.lang.Class<? extends PreferencePage> pageType()

Returns:

the type who makes up the page