JAL-3563 for merging to JAL-3253-applet
authorBobHanson <hansonr@stolaf.edu>
Sun, 22 Mar 2020 23:07:37 +0000 (18:07 -0500)
committerBobHanson <hansonr@stolaf.edu>
Sun, 22 Mar 2020 23:07:37 +0000 (18:07 -0500)
commit798a060540ae087124bbfa173ba66d2839cad9ad
treed25f029b972e6f764c56805d17ba02f543afba32
parentad72c293e24cee5f78d13cd199b5c272b4ef3185
JAL-3563 for merging to JAL-3253-applet

More Jalview.isSynchronized(), Jalview.execRunnable(), and
Jalview.execThread()
src/jalview/bin/Jalview.java
src/jalview/bin/JalviewAppLoader.java
src/jalview/gui/AlignFrame.java
src/jalview/gui/AlignmentPanel.java
src/jalview/gui/Desktop.java