import javax.swing.event.*;\r
import jalview.io.FormatAdapter;\r
import jalview.datamodel.SequenceI;\r
+import java.awt.BorderLayout;\r
\r
public class GFinder\r
extends JPanel\r
JPanel jPanel3 = new JPanel();\r
JPanel jPanel4 = new JPanel();\r
BorderLayout borderLayout2 = new BorderLayout();\r
- JPanel jPanel5 = new JPanel();\r
JPanel jPanel6 = new JPanel();\r
+ protected JCheckBox caseSensitive = new JCheckBox();\r
public GFinder()\r
{\r
try\r
jPanel4.setLayout(borderLayout2);\r
jPanel2.setPreferredSize(new Dimension(10, 1));\r
jPanel3.setPreferredSize(new Dimension(10, 1));\r
+ caseSensitive.setHorizontalAlignment(SwingConstants.LEFT);\r
+ caseSensitive.setText("Match Case");\r
jPanel1.add(findNext, null);\r
jPanel1.add(findAll, null);\r
jPanel1.add(createNewGroup, null);\r
this.add(jPanel3, java.awt.BorderLayout.NORTH);\r
this.add(jPanel4, java.awt.BorderLayout.CENTER);\r
jPanel4.add(jScrollPane1, java.awt.BorderLayout.CENTER);\r
- jPanel4.add(jPanel5, java.awt.BorderLayout.SOUTH);\r
- jPanel4.add(jPanel6, java.awt.BorderLayout.NORTH);\r
jScrollPane1.getViewport().add(textfield);\r
+ jPanel4.add(jPanel6, java.awt.BorderLayout.NORTH);\r
+ jPanel4.add(caseSensitive, java.awt.BorderLayout.SOUTH);\r
}\r
\r
protected void findNext_actionPerformed(ActionEvent e)\r