JAl-3187 JAL-3535 JAL-3534 update open feature settings when a different view is...
authorJim Procter <jprocter@issues.jalview.org>
Tue, 18 Feb 2020 16:32:31 +0000 (16:32 +0000)
committerJim Procter <jprocter@issues.jalview.org>
Tue, 18 Feb 2020 17:33:37 +0000 (17:33 +0000)
commit1b378087ec2d5be9b290cd63c45bfdb9e75269fb
treeeb8823627ddf961ca87970bd3dfccb6f2a0d6f9f
parentd43b22658a3041c6c5c28c0db3d52c648dcf92e9
JAl-3187 JAL-3535 JAL-3534 update open feature settings when a different view is selected or close when none shown
src/jalview/api/SplitContainerI.java
src/jalview/gui/AlignFrame.java
src/jalview/gui/Desktop.java
src/jalview/gui/FeatureSettings.java
src/jalview/gui/SplitFrame.java