Listen for return key
authoramwaterhouse <Andrew Waterhouse>
Mon, 11 Jul 2005 14:32:47 +0000 (14:32 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 11 Jul 2005 14:32:47 +0000 (14:32 +0000)
commitf5c630601eccc201dd73f34227acf97f59a9168f
treee25b1b28b6a7b00445c3ac0b45af41fe41c7bc7c
parent187b75ac779575fa0399f7c3991dcd7bade8ca90
Listen for return key
src/jalview/gui/Finder.java
src/jalview/jbgui/GFinder.java