Consume if enter pressed

diff --git a/src/jalview/jbgui/GFinder.java b/src/jalview/jbgui/GFinder.java
index 5143e74..32d2f24 100755 (executable)
--- a/src/jalview/jbgui/GFinder.java
+++ b/src/jalview/jbgui/GFinder.java
@@ -140,8 +140,10 @@ public class GFinder
 \r
   protected void textfield_keyPressed(KeyEvent e)\r
   {\r
+\r
     if(e.getKeyCode()==KeyEvent.VK_ENTER)\r
     {\r
+      e.consume();\r
       findNext_actionPerformed(null);\r
     }\r
     findNext.setEnabled(true);\r