*/
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()
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());
/*
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);
/*
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)