From f18cbb26b5cd3d800b4d0317e544ae4e4075a4c3 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 11 Jul 2005 14:38:35 +0000
Subject: [PATCH] Consume if enter pressed

---
 src/jalview/jbgui/GFinder.java |    2 ++
 1 file changed, 2 insertions(+)

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