JAL-3560 tweak to force use of standard Java HashSet
authorBobHanson <hansonr@stolaf.edu>
Sat, 21 Mar 2020 14:05:07 +0000 (09:05 -0500)
committerBobHanson <hansonr@stolaf.edu>
Sat, 21 Mar 2020 14:05:07 +0000 (09:05 -0500)
commit38b2c97c6cf79d1a6ee1997c5687531a5acdb277
tree577fd5a420805f02da065e9717f5d02013b455b8
parent74c306c0b7e0378b9660ff2cde00120791cbecb2
JAL-3560 tweak to force use of standard Java HashSet

adds Platform.getOrderedHashSet()
adds Platform.setJavaScriptMapObjectEnabled(boolean enabled)

sets the results from SequenceFeatures.getFeatureTypesForGroups(...) to
be a standard Java HashSet, not using the JavaScript Map object.
12 files changed:
src/jalview/datamodel/features/SequenceFeatures.java
src/jalview/util/Platform.java
src/jalview/viewmodel/seqfeatures/FeaturesDisplayed.java
src/swingjs/api/JSUtilI.java
swingjs/SwingJS-site.zip
swingjs/net.sf.j2s.core-j11.jar
swingjs/net.sf.j2s.core.jar
swingjs/timestamp
swingjs/ver/3.2.9/SwingJS-site.zip
swingjs/ver/3.2.9/net.sf.j2s.core-j11.jar
swingjs/ver/3.2.9/net.sf.j2s.core.jar
swingjs/ver/3.2.9/timestamp