X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGFinder.java;h=1ea4ab5fa455ddfcda38bccdcbf1a900e8568ecd;hb=1c5e42d0157903b8bcef2b4a2984c2e63c707750;hp=bbd20caa480d4141eba4853b4e2e246cc379d4ab;hpb=78256846b6471432d6cb1996d893845f24b2566c;p=jalview.git diff --git a/src/jalview/jbgui/GFinder.java b/src/jalview/jbgui/GFinder.java index bbd20ca..1ea4ab5 100755 --- a/src/jalview/jbgui/GFinder.java +++ b/src/jalview/jbgui/GFinder.java @@ -59,7 +59,8 @@ public class GFinder extends JPanel protected JButton createFeatures = new JButton(); - protected JvCacheableInputBox searchBox = new JvCacheableInputBox(getCacheKey()); + protected JvCacheableInputBox searchBox = new JvCacheableInputBox( + getCacheKey()); BorderLayout mainBorderLayout = new BorderLayout(); @@ -136,23 +137,22 @@ public class GFinder extends JPanel searchBox.setFont(new java.awt.Font("Verdana", Font.PLAIN, 12)); ((JTextComponent) searchBox.getEditor().getEditorComponent()) .addCaretListener(new CaretListener() - { - @Override - public void caretUpdate(CaretEvent e) - { - textfield_caretUpdate(e); - } - }); + { + @Override + public void caretUpdate(CaretEvent e) + { + textfield_caretUpdate(e); + } + }); searchBox.getEditor().getEditorComponent() .addKeyListener(new java.awt.event.KeyAdapter() - { - @Override - public void keyPressed(KeyEvent e) - { - textfield_keyPressed(e); - } - }); - + { + @Override + public void keyPressed(KeyEvent e) + { + textfield_keyPressed(e); + } + }); mainBorderLayout.setHgap(5); mainBorderLayout.setVgap(5); jPanel4.setLayout(borderLayout2); @@ -161,8 +161,8 @@ public class GFinder extends JPanel caseSensitive.setHorizontalAlignment(SwingConstants.LEFT); caseSensitive.setText(MessageManager.getString("label.match_case")); - searchDescription.setText(MessageManager - .getString("label.include_description")); + searchDescription + .setText(MessageManager.getString("label.include_description")); actionsPanel.add(findNext, null); actionsPanel.add(findAll, null); @@ -186,21 +186,24 @@ public class GFinder extends JPanel jPanel4.add(optionsPanel, java.awt.BorderLayout.WEST); } - protected void findNext_actionPerformed(ActionEvent e) + protected void textfield_keyPressed(KeyEvent e) { + if (e.getKeyCode() == KeyEvent.VK_ENTER) + { + if (!searchBox.isPopupVisible()) + { + e.consume(); + findNext_actionPerformed(null); + } + } } - protected void findAll_actionPerformed(ActionEvent e) + protected void findNext_actionPerformed(ActionEvent e) { } - protected void textfield_keyPressed(KeyEvent e) + protected void findAll_actionPerformed(ActionEvent e) { - if (e.getKeyCode() == KeyEvent.VK_ENTER) - { - e.consume(); - findNext_actionPerformed(null); - } } public void createFeatures_actionPerformed() @@ -228,8 +231,8 @@ public class GFinder extends JPanel if (al != null && al.getHeight() > 0) { str = jalview.analysis.AlignSeq.extractGaps( - jalview.util.Comparison.GapChars, al.getSequenceAt(0) - .getSequenceAsString()); + jalview.util.Comparison.GapChars, + al.getSequenceAt(0).getSequenceAsString()); } } @@ -237,10 +240,6 @@ public class GFinder extends JPanel } } - - - - /** * Returns unique key used for storing Finder cache items in the cache data * structure @@ -252,6 +251,4 @@ public class GFinder extends JPanel return FINDER_CACHE_KEY; } - - }