408 |
public void fireIndexedPropertyChange(String name, int index, |
public void fireIndexedPropertyChange(String name, int index, |
409 |
Object oldValue, Object newValue) |
Object oldValue, Object newValue) |
410 |
{ |
{ |
411 |
// FIXME: should we use equals() here? |
// Argument checking is done in firePropertyChange(PropertyChangeEvent) . |
|
if (oldValue == newValue && oldValue != null) |
|
412 |
firePropertyChange(new IndexedPropertyChangeEvent(source, name, |
firePropertyChange(new IndexedPropertyChangeEvent(source, name, |
413 |
oldValue, newValue, |
oldValue, newValue, |
|
index)); |
|
414 |
} |
} |
415 |
|
|
416 |
/** |
/** |