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, storeToaddValueChangeListener, addValueChangeListenerWeakly, removeValueChangeListener, removeValueChangeListenerWeakly