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)
commitd0a3c7594380d978b0d3bf3cbdba55a016b9d920
treed3276c45ddc983c94b9532ff64e3e571412532f2
parent6c5e457a14640769f41ed033f77a5321fcefc526
parentad6e0dcf682399eb8b7a0ac49d3fcc63f4f991f2
Merge branch 'bug/JAL-3412idWidthDiscrepancy' into develop
src/jalview/gui/AlignViewport.java
src/jalview/gui/SplitFrame.java