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)
commit9c8b674e5ab62309b0df090977c8bf8288deb98b
tree60d71a94c580cd4e6d9c90b68b490cf2bfb6481a
parent1a04478ca5d5fa6bae27f8e7220df5b57fe1c698
parent9b5106c49c8fa0a7269f38ad1825851eb8ba5b85
Merge remote-tracking branch 'origin/bug/JAL-2839findWithHidden' into merge/JAL-2839_2933
src/jalview/datamodel/SearchResults.java
src/jalview/datamodel/SequenceI.java
src/jalview/gui/IdPanel.java
test/jalview/controller/AlignViewControllerTest.java