18 |
import java.beans.PropertyChangeListener; |
import java.beans.PropertyChangeListener; |
19 |
import java.util.Collection; |
import java.util.Collection; |
20 |
import java.util.HashSet; |
import java.util.HashSet; |
|
import java.util.Set; |
|
21 |
import java.util.Vector; |
import java.util.Vector; |
22 |
|
|
23 |
import javax.swing.event.EventListenerList; |
import javax.swing.event.EventListenerList; |
141 |
* @return {@code true} if selection has changed by calling this method |
* @return {@code true} if selection has changed by calling this method |
142 |
*/ |
*/ |
143 |
public boolean addSelection(E selectedObject) { |
public boolean addSelection(E selectedObject) { |
144 |
|
|
145 |
if ( selectionObjects.add(selectedObject) ) { |
if ( selectionObjects.add(selectedObject) ) { |
146 |
refreshSelection(); |
refreshSelection(); |
147 |
return true; |
return true; |