public interface DirectoryPreferenceProperty extends PreferenceProperty
PROPERTY_VALUE
Modifier and Type | Method and Description |
---|---|
java.io.File |
getDirectory()
Get the directory.
|
void |
setDirectory(java.io.File directory)
Set the directory.
|
readFrom, storeTo
addValueChangeListener, addValueChangeListenerWeakly, removeValueChangeListener, removeValueChangeListenerWeakly