void
IEclipsePreferences.IPreferenceChangeListener. preferenceChange ( IEclipsePreferences.PreferenceChangeEvent event)
Guidelines for using Eclipse APIs.
Copyright (c) Eclipse contributors and others 2000, 2008. All rights reserved.