X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGFinder.java;h=9ed2127e0ba6079c9a16cc50ee1f29e0359cb6cb;hb=daca035ea0a7379b3f5332aceb19bcb41f7038b3;hp=aa7967114ac682ef6d2013110be0ce3fd8282ffe;hpb=fae891ea08e5ceb278a0ff91313a2f50cbc017f0;p=jalview.git diff --git a/src/jalview/jbgui/GFinder.java b/src/jalview/jbgui/GFinder.java index aa79671..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,6 +59,8 @@ public class GFinder extends JPanel protected JButton createFeatures; + protected JButton copyToClipboard; + protected JvCacheableInputBox searchBox; protected JCheckBox caseSensitive; @@ -205,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)