void
AntCorePreferences. propertyChange ( Preferences.PropertyChangeEvent event)
Preferences.IPropertyChangeListener. propertyChange ( Preferences.PropertyChangeEvent event)
Guidelines for using Eclipse APIs.
Copyright (c) Eclipse contributors and others 2000, 2008. All rights reserved.