Package | Description |
---|---|
oracle.jdeveloper.history |
Modifier and Type | Method and Description |
---|---|
CustomFilter[] |
CustomFilterManager.createDefaultFilters()
Create the default customizable filters for the history manager.
|
CustomFilter[] |
CustomFilterManager.getFilters()
Get common customizable filters for the history manager.
|
static CustomFilter |
CustomFilter.parse(java.lang.String source) |
Modifier and Type | Method and Description |
---|---|
void |
CustomFilterManager.setFilters(CustomFilter[] customFilters)
Set common customizable filters for the history manager.
|