DefaultGTreeFilterProvider

Package: docking.widgets.tree
Type: class

11.3_PUBLIC

addedmethod: activate
void activate()
addedmethod: dispose
void dispose()
addedmethod: setPreferredFilterOptions
void setPreferredFilterOptions(docking.widgets.filter.FilterOptions filterOptions)
addedmethod: toggleVisibility
void toggleVisibility()

11.2_PUBLIC

addedmethod: copy
docking.widgets.tree.GTreeFilterProvider copy(docking.widgets.tree.GTree newTree)
addedmethod: getFilterOptions
docking.widgets.filter.FilterOptions getFilterOptions()
addedmethod: loadFilterPreference
void loadFilterPreference(docking.DockingWindowManager windowManager)
removedmethod: loadFilterPreference
void loadFilterPreference(docking.DockingWindowManager windowManager, java.lang.String uniquePreferenceKey)

11.1_PUBLIC

addedmethod: setAccessibleNamePrefix
void setAccessibleNamePrefix(java.lang.String namePrefix)

9.0.1_PUBLIC

introducedInitial version