Summary:
Detail:
EventListener
Preferences
PreferenceChangeEvent
NodeChangeListener
void
preferenceChange(PreferenceChangeEvent evt)
evt