DefaultGTreeFilterProvider

Package: docking.widgets.tree
Type: class

11.3_PUBLIC

addedmethod: activate

void activate()

addedmethod: dispose

void dispose()

void setPreferredFilterOptions(docking.widgets.filter.FilterOptions filterOptions)

void toggleVisibility()

addedmethod: copy

docking.widgets.tree.GTreeFilterProvider copy(docking.widgets.tree.GTree newTree)

docking.widgets.filter.FilterOptions getFilterOptions()

void loadFilterPreference(docking.DockingWindowManager windowManager)

void loadFilterPreference(docking.DockingWindowManager windowManager, java.lang.String uniquePreferenceKey)

void setAccessibleNamePrefix(java.lang.String namePrefix)

introducedInitial version