Find added to edit menu
authoramwaterhouse <Andrew Waterhouse>
Wed, 1 Dec 2004 17:03:29 +0000 (17:03 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 1 Dec 2004 17:03:29 +0000 (17:03 +0000)
commit03ba271b19ac384a6d7fdad31a3a3bc6b0cc0006
tree08d1d8fbc8f7a9eab58e6ee73d2e05e993071de2
parent6cdd4a50a40018b049a8c14efbd71f38270a6a23
Find added to edit menu
src/jalview/jbgui/GAlignFrame.java