Merge remote-tracking branch 'origin/bug/JAL-2839findWithHidden' into merge/JAL-2839_2933
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 5 Mar 2019 12:40:08 +0000 (12:40 +0000)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 5 Mar 2019 12:40:08 +0000 (12:40 +0000)
1  2 
src/jalview/datamodel/SearchResults.java
src/jalview/datamodel/SequenceI.java
src/jalview/gui/IdPanel.java
test/jalview/controller/AlignViewControllerTest.java

Simple merge
Simple merge