public interface IEditableDeltaTreeFilter extends IDeltaTreeFilter
Modifier and Type | Method and Description |
---|---|
boolean |
doEdit() |
java.lang.String |
getPluginId() |
void |
load(java.util.Properties properties)
Initializes this filter after it is instantiated with the default
constructor (constructor with no parameters)
|
void |
save(java.util.Properties properties) |
getDisplayName, getID, isFilterOutDelta
boolean doEdit()
java.lang.String getPluginId()
void save(java.util.Properties properties)
properties
- - Storage for saving the contents of this filtervoid load(java.util.Properties properties)
properties
- -
Storage for initialize this filter.