X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGFinder.java;h=32d2f24683c90ca83b6c1cba11133c1e54c3805e;hb=eee02848424734a9466de35ff19636377652e59b;hp=0f9f0d4a15cc41bd23903300f819aff4e1a5dccc;hpb=efc31b4a8d5cee63555586804a2b79c06bdb5a14;p=jalview.git diff --git a/src/jalview/jbgui/GFinder.java b/src/jalview/jbgui/GFinder.java index 0f9f0d4..32d2f24 100755 --- a/src/jalview/jbgui/GFinder.java +++ b/src/jalview/jbgui/GFinder.java @@ -104,6 +104,12 @@ public class GFinder textfield_caretUpdate(e); } }); + textfield.addKeyListener(new java.awt.event.KeyAdapter() { + public void keyPressed(KeyEvent e) { + textfield_keyPressed(e); + } + }); + borderLayout1.setHgap(5); borderLayout1.setVgap(5); jPanel4.setLayout(borderLayout2); @@ -131,12 +137,15 @@ public class GFinder { } - protected void textfield_actionPerformed(ActionEvent e) - { - } - void textfield_keyTyped(KeyEvent e) + protected void textfield_keyPressed(KeyEvent e) { + + if(e.getKeyCode()==KeyEvent.VK_ENTER) + { + e.consume(); + findNext_actionPerformed(null); + } findNext.setEnabled(true); }