X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGFinder.java;h=c3ed1686be5bac42c8f4d3f6499e2edc8a9e764b;hb=b0af1c02bc91ec74e941dfc8220b52f591d5df1a;hp=2fe4e145b13dcc9e4a4d66f0d70d171d0dddbed6;hpb=98e5ebe726c30cca66c22541ddb98228d914805a;p=jalview.git diff --git a/src/jalview/jbgui/GFinder.java b/src/jalview/jbgui/GFinder.java index 2fe4e14..c3ed168 100755 --- a/src/jalview/jbgui/GFinder.java +++ b/src/jalview/jbgui/GFinder.java @@ -24,6 +24,7 @@ import javax.swing.*; import javax.swing.event.*; import jalview.io.FormatAdapter; import jalview.datamodel.SequenceI; +import java.awt.BorderLayout; public class GFinder extends JPanel @@ -41,8 +42,8 @@ public class GFinder JPanel jPanel3 = new JPanel(); JPanel jPanel4 = new JPanel(); BorderLayout borderLayout2 = new BorderLayout(); - JPanel jPanel5 = new JPanel(); JPanel jPanel6 = new JPanel(); + protected JCheckBox caseSensitive = new JCheckBox(); public GFinder() { try @@ -88,7 +89,7 @@ public class GFinder createNewGroup.setFont(new java.awt.Font("Verdana", 0, 12)); createNewGroup.setToolTipText(""); createNewGroup.setMargin(new Insets(0, 0, 0, 0)); - createNewGroup.setText("Create new group"); + createNewGroup.setText("New Feature"); createNewGroup.addActionListener(new java.awt.event.ActionListener() { public void actionPerformed(ActionEvent e) @@ -117,6 +118,8 @@ public class GFinder jPanel4.setLayout(borderLayout2); jPanel2.setPreferredSize(new Dimension(10, 1)); jPanel3.setPreferredSize(new Dimension(10, 1)); + caseSensitive.setHorizontalAlignment(SwingConstants.LEFT); + caseSensitive.setText("Match Case"); jPanel1.add(findNext, null); jPanel1.add(findAll, null); jPanel1.add(createNewGroup, null); @@ -126,9 +129,9 @@ public class GFinder this.add(jPanel3, java.awt.BorderLayout.NORTH); this.add(jPanel4, java.awt.BorderLayout.CENTER); jPanel4.add(jScrollPane1, java.awt.BorderLayout.CENTER); - jPanel4.add(jPanel5, java.awt.BorderLayout.SOUTH); - jPanel4.add(jPanel6, java.awt.BorderLayout.NORTH); jScrollPane1.getViewport().add(textfield); + jPanel4.add(jPanel6, java.awt.BorderLayout.NORTH); + jPanel4.add(caseSensitive, java.awt.BorderLayout.SOUTH); } protected void findNext_actionPerformed(ActionEvent e) @@ -165,7 +168,7 @@ public class GFinder { String str = textfield.getText(); SequenceI[] sequences = null; - try{new FormatAdapter().readFile(str, "Paste", "FASTA");} + try{sequences = new FormatAdapter().readFile(str, "Paste", "FASTA");} catch(Exception ex){} if(sequences!=null && sequences.length>0) {