X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGFinder.java;h=9ed2127e0ba6079c9a16cc50ee1f29e0359cb6cb;hb=a7169b1c72607f3c9357195b4999869650a2a891;hp=9788fba27fe3f03fd61d744b3736674d6cfa1670;hpb=6b13a606027284408286d1cd2833470d1f9b9bfe;p=jalview.git diff --git a/src/jalview/jbgui/GFinder.java b/src/jalview/jbgui/GFinder.java index 9788fba..9ed2127 100755 --- a/src/jalview/jbgui/GFinder.java +++ b/src/jalview/jbgui/GFinder.java @@ -20,13 +20,6 @@ */ package jalview.jbgui; -import jalview.datamodel.AlignmentI; -import jalview.io.DataSourceType; -import jalview.io.FileFormat; -import jalview.io.FormatAdapter; -import jalview.io.cache.JvCacheableInputBox; -import jalview.util.MessageManager; - import java.awt.BorderLayout; import java.awt.Font; import java.awt.GridLayout; @@ -44,6 +37,13 @@ import javax.swing.SwingUtilities; import javax.swing.event.CaretEvent; import javax.swing.event.CaretListener; +import jalview.datamodel.AlignmentI; +import jalview.io.DataSourceType; +import jalview.io.FileFormat; +import jalview.io.FormatAdapter; +import jalview.io.cache.JvCacheableInputBox; +import jalview.util.MessageManager; + public class GFinder extends JPanel { private static final java.awt.Font VERDANA_12 = new Font("Verdana", @@ -59,12 +59,16 @@ public class GFinder extends JPanel protected JButton createFeatures; + protected JButton copyToClipboard; + protected JvCacheableInputBox searchBox; protected JCheckBox caseSensitive; protected JCheckBox searchDescription; + protected JCheckBox searchFeatures; + protected JCheckBox ignoreHidden; public GFinder() @@ -124,21 +128,21 @@ public class GFinder extends JPanel searchBox = new JvCacheableInputBox<>(FINDER_CACHE_KEY, 25); searchBox.getComponent().setFont(VERDANA_12); searchBox.addCaretListener(new CaretListener() - { - @Override - public void caretUpdate(CaretEvent e) - { - textfield_caretUpdate(); - } - }); + { + @Override + public void caretUpdate(CaretEvent e) + { + textfield_caretUpdate(); + } + }); searchBox.addKeyListener(new KeyAdapter() - { - @Override - public void keyPressed(KeyEvent e) - { - textfield_keyPressed(e); - } - }); + { + @Override + public void keyPressed(KeyEvent e) + { + textfield_keyPressed(e); + } + }); centrePanel.add(searchBox.getComponent()); /* @@ -152,13 +156,18 @@ public class GFinder extends JPanel searchDescription .setText(MessageManager.getString("label.include_description")); + searchFeatures = new JCheckBox(); + searchFeatures + .setText(MessageManager.getString("label.include_features")); + ignoreHidden = new JCheckBox(); ignoreHidden.setText(MessageManager.getString("label.ignore_hidden")); ignoreHidden.setToolTipText( MessageManager.getString("label.ignore_hidden_tooltip")); - + centrePanel.add(caseSensitive); centrePanel.add(searchDescription); + centrePanel.add(searchFeatures); centrePanel.add(ignoreHidden); /* @@ -198,9 +207,26 @@ public class GFinder extends JPanel createFeatures_actionPerformed(); } }); + copyToClipboard = new JButton(); + copyToClipboard.setEnabled(false); + copyToClipboard.setFont(VERDANA_12); + copyToClipboard.setText(MessageManager.getString("label.copy")); + copyToClipboard.addActionListener(new ActionListener() + { + @Override + public void actionPerformed(ActionEvent e) + { + copyToClipboard_actionPerformed(); + } + }); eastPanel.add(findNext); eastPanel.add(findAll); eastPanel.add(createFeatures); + eastPanel.add(copyToClipboard); + } + + protected void copyToClipboard_actionPerformed() + { } protected void textfield_keyPressed(KeyEvent e)