When closed, highlightSearchResults( null )
authoramwaterhouse <Andrew Waterhouse>
Wed, 1 Dec 2004 17:34:23 +0000 (17:34 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 1 Dec 2004 17:34:23 +0000 (17:34 +0000)
commitc3be701f976c483c37d31179bc1c5dc7c40b707e
tree991595b7070f6160a0ff3f76f0e3228f3198555d
parent4679c58949f642fd64e9726ec5bf2c3f338a0861
When closed, highlightSearchResults( null )
src/jalview/gui/Finder.java