Merge branch 'Jalview-JS/develop.JAL-3446.ctrlDown' into
authorBobHanson <hansonr@stolaf.edu>
Thu, 11 Jun 2020 12:13:36 +0000 (07:13 -0500)
committerBobHanson <hansonr@stolaf.edu>
Thu, 11 Jun 2020 12:13:36 +0000 (07:13 -0500)
commitae737f35e5185aa421563e4c061340a3c4152514
tree62f3984c3fe79ae45e9da2f7c8dcb82e5d013b2a
parent8594f8fc93ae2003f0587a5b3b01d56f41216fac
parentd7111d39548c57836f77bd4403bf2d124fd78820
Merge branch 'Jalview-JS/develop.JAL-3446.ctrlDown' into
Jalview-JS/develop

Conflicts:
src/jalview/bin/JalviewJS2.java
src/jalview/gui/Desktop.java
src/jalview/util/Platform.java
src/jalview/bin/JalviewJS2.java
src/jalview/gui/Desktop.java
src/jalview/gui/SplitFrame.java
src/jalview/jbgui/GAlignFrame.java
src/jalview/jbgui/GDesktop.java
src/jalview/util/Platform.java