Merge remote-tracking branch 'origin/develop' into feature/JAL-2587
authorkiramt <k.mourao@dundee.ac.uk>
Fri, 4 Aug 2017 13:29:58 +0000 (14:29 +0100)
committerkiramt <k.mourao@dundee.ac.uk>
Fri, 4 Aug 2017 13:29:58 +0000 (14:29 +0100)
1  2 
src/jalview/gui/OverviewPanel.java

Simple merge