From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 11 Jul 2005 14:38:35 +0000 (+0000)
Subject: Consume if enter pressed
X-Git-Tag: Release_2_01~4
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=f18cbb26b5cd3d800b4d0317e544ae4e4075a4c3;p=jalview.git

Consume if enter pressed
---

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);