/** Removes the specified change listener. */
public static void removeChangeListener(PropertyChangeListener l) {
if (m_pcsTypesMgr != null) m_pcsTypesMgr.removePropertyChangeListener(l);
}
/**
* Adds the specified change listener with the specified property.
*
* @param strProperty the property to which the listener should be listening to.
* @param l the property change listener to be added.
*/
public static void addChangeListener(String strProperty, PropertyChangeListener l) {
if (m_pcsTypesMgr != null) m_pcsTypesMgr.addPropertyChangeListener(strProperty, l);
}
/**
* Adds the specified change listener.
*
* @param l the property change listener to be added.
*/
public static void addChangeListener(PropertyChangeListener l) {
if (m_pcsTypesMgr != null) m_pcsTypesMgr.addPropertyChangeListener(l);
}
public void removePropertyChangeListener(String name, PropertyChangeListener pcl) {
changeSupport.removePropertyChangeListener(name, pcl);
}
public void addPropertyChangeListener(String name, PropertyChangeListener pcl) {
changeSupport.addPropertyChangeListener(name, pcl);
}
protected final void setDesktopProperty(String name, Object newValue) {
Object oldValue = getDesktopProperty(name);
desktopProperties.put(name, newValue);
changeSupport.firePropertyChange(name, oldValue, newValue);
}