git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
EPSOptions added
[jalview.git]
/
src
/
jalview
/
jbgui
/
GFinder.java
diff --git
a/src/jalview/jbgui/GFinder.java
b/src/jalview/jbgui/GFinder.java
index
0f9f0d4
..
32d2f24
100755
(executable)
--- a/
src/jalview/jbgui/GFinder.java
+++ b/
src/jalview/jbgui/GFinder.java
@@
-104,6
+104,12
@@
public class GFinder
textfield_caretUpdate(e);
\r
}
\r
});
\r
textfield_caretUpdate(e);
\r
}
\r
});
\r
+ textfield.addKeyListener(new java.awt.event.KeyAdapter() {
\r
+ public void keyPressed(KeyEvent e) {
\r
+ textfield_keyPressed(e);
\r
+ }
\r
+ });
\r
+
\r
borderLayout1.setHgap(5);
\r
borderLayout1.setVgap(5);
\r
jPanel4.setLayout(borderLayout2);
\r
borderLayout1.setHgap(5);
\r
borderLayout1.setVgap(5);
\r
jPanel4.setLayout(borderLayout2);
\r
@@
-131,12
+137,15
@@
public class GFinder
{
\r
}
\r
\r
{
\r
}
\r
\r
- protected void textfield_actionPerformed(ActionEvent e)
\r
- {
\r
- }
\r
\r
\r
- void textfield_keyTyped(KeyEvent e)
\r
+ protected void textfield_keyPressed(KeyEvent e)
\r
{
\r
{
\r
+
\r
+ if(e.getKeyCode()==KeyEvent.VK_ENTER)
\r
+ {
\r
+ e.consume();
\r
+ findNext_actionPerformed(null);
\r
+ }
\r
findNext.setEnabled(true);
\r
}
\r
\r
findNext.setEnabled(true);
\r
}
\r
\r