*/
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;
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",
protected JButton createFeatures;
+ protected JButton copyToClipboard;
+
protected JvCacheableInputBox<String> searchBox;
protected JCheckBox caseSensitive;
protected JCheckBox searchDescription;
+ protected JCheckBox searchFeatures;
+
protected JCheckBox ignoreHidden;
public GFinder()
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(
centrePanel.add(caseSensitive);
centrePanel.add(searchDescription);
+ centrePanel.add(searchFeatures);
centrePanel.add(ignoreHidden);
/*
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)