search function added
authoramwaterhouse <Andrew Waterhouse>
Wed, 1 Dec 2004 17:12:38 +0000 (17:12 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 1 Dec 2004 17:12:38 +0000 (17:12 +0000)
commit2e9af306a6dc27274ea5eb047afd583b2caf2e69
treedde7b9e3921a10c79b96c8cca25a963e87518a1b
parentd6d520d7e8f262d0570ebb8ffc729cab87bb280a
search function added
src/jalview/gui/AlignmentPanel.java