JAL-3026 workarounds and TODOs for JSplitPane setDividerLocation in SwingJS for CDS...
authorJim Procter <jprocter@issues.jalview.org>
Tue, 3 Jul 2018 16:35:51 +0000 (17:35 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Tue, 3 Jul 2018 16:35:51 +0000 (17:35 +0100)
commit68e84e5637f13e4cee4c8cd1696640aa9863f25c
tree156efd2ac7006132ed7c2feb550ee384b4e2bae4
parent60f8836113d73ba0c60a9cda585d787faff8d340
JAL-3026 workarounds and TODOs for JSplitPane setDividerLocation in SwingJS for CDS/Protein split view
src/jalview/jbgui/GSplitFrame.java