JAL-3187 use the recommended way of catching tab selection change events
authorJim Procter <jprocter@issues.jalview.org>
Thu, 20 Feb 2020 17:24:08 +0000 (17:24 +0000)
committerJim Procter <jprocter@issues.jalview.org>
Thu, 20 Feb 2020 17:24:08 +0000 (17:24 +0000)
commitf938cd9e4df1b8fa60f1de705bebccd1bc6ca62c
tree1e9e66d38f30bd47c0fe4cd5db5abcf57fd4cf9e
parent24dbffc7cf9323f550875f5c6fe7df025aebbaf1
JAL-3187 use the recommended way of catching tab selection change events
src/jalview/gui/SplitFrame.java