diff --git a/src/rv/comm/drawing/Drawings.java b/src/rv/comm/drawing/Drawings.java index adde1339..e7156b07 100644 --- a/src/rv/comm/drawing/Drawings.java +++ b/src/rv/comm/drawing/Drawings.java @@ -39,10 +39,10 @@ public class Drawings { /** Event object launched when the list of sets is modified */ public class SetListChangeEvent extends EventObject { - private final ArrayList> shapeSets; + private final CopyOnWriteArrayList> shapeSets; private final CopyOnWriteArrayList> annotationSets; - public ArrayList> getShapeSets() { + public CopyOnWriteArrayList> getShapeSets() { return shapeSets; } @@ -65,7 +65,7 @@ public interface ShapeListListener extends EventListener { private final ArrayList listeners = new ArrayList<>(); private final HashMap> shapeSetListing = new HashMap<>(); private final HashMap> annotationSetListing = new HashMap<>(); - private final ArrayList> shapeSets = new ArrayList<>(); + private final CopyOnWriteArrayList> shapeSets = new CopyOnWriteArrayList<>(); private final CopyOnWriteArrayList> annotationSets = new CopyOnWriteArrayList<>(); private boolean changed = false; private boolean visible = true;