JAL-3380 allows JalviewJS to get embedded div attributes
authorhansonr <hansonr@STO24954W.ad.stolaf.edu>
Mon, 29 Jul 2019 08:34:57 +0000 (10:34 +0200)
committerhansonr <hansonr@STO24954W.ad.stolaf.edu>
Mon, 29 Jul 2019 08:34:57 +0000 (10:34 +0200)
commit4afd9fc71fb19a511e9a2d17dbac1592eade1630
treee39ba53a798a22e7c14354af09cdc8b2fc2de1f7
parent914dfa095b556666e54e42e5be90d399cc5ccd1e
JAL-3380 allows JalviewJS to get embedded div attributes
src/jalview/util/Platform.java