Merge branch 'bug/JAL-3412idWidthDiscrepancy' into develop bug/JAL-3412idWidthDiscrepancy
authorJim Procter <jprocter@issues.jalview.org>
Thu, 27 Feb 2020 15:56:49 +0000 (15:56 +0000)
committerJim Procter <jprocter@issues.jalview.org>
Thu, 27 Feb 2020 15:56:49 +0000 (15:56 +0000)
1  2 
src/jalview/gui/AlignViewport.java
src/jalview/gui/SplitFrame.java

Simple merge
Simple merge