public class CustomFilterManager
extends java.lang.Object
Constructor and Description |
---|
CustomFilterManager() |
Modifier and Type | Method and Description |
---|---|
CustomFilter[] |
createDefaultFilters()
Create the default customizable filters for the history manager.
|
void |
deregisterSubstitution(CustomFilterSubstitution substitution)
Deprecated.
not replaced.
|
java.util.Observable |
getFilterObservable()
Get an observable object tracking updates to custom filters.
|
CustomFilter[] |
getFilters()
Get common customizable filters for the history manager.
|
CustomFilterSubstitution[] |
getSubstitutions() |
void |
registerSubstitution(CustomFilterSubstitution substitution)
Deprecated.
replaced by declarative registration through history-filter-subtitution-hook.
|
void |
setFilters(CustomFilter[] customFilters)
Set common customizable filters for the history manager.
|
public CustomFilter[] getFilters()
public void setFilters(CustomFilter[] customFilters)
customFilters
- an array of custom filters.public CustomFilter[] createDefaultFilters()
public java.util.Observable getFilterObservable()
@Deprecated public void registerSubstitution(CustomFilterSubstitution substitution)
@Deprecated public void deregisterSubstitution(CustomFilterSubstitution substitution)
public CustomFilterSubstitution[] getSubstitutions()