X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGFinder.java;h=aa7967114ac682ef6d2013110be0ce3fd8282ffe;hb=fae891ea08e5ceb278a0ff91313a2f50cbc017f0;hp=c5488f048edaf7359b545b3277f7ebfae31e3fbe;hpb=6912e5c1ada266cbd4c66922c2f73583ce0489b9;p=jalview.git

diff --git a/src/jalview/jbgui/GFinder.java b/src/jalview/jbgui/GFinder.java
index c5488f0..aa79671 100755
--- a/src/jalview/jbgui/GFinder.java
+++ b/src/jalview/jbgui/GFinder.java
@@ -65,6 +65,8 @@ public class GFinder extends JPanel
 
   protected JCheckBox searchDescription;
 
+  protected JCheckBox searchFeatures;
+
   protected JCheckBox ignoreHidden;
 
   public GFinder()
@@ -152,6 +154,10 @@ public class GFinder extends JPanel
     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(
@@ -159,6 +165,7 @@ public class GFinder extends JPanel
 
     centrePanel.add(caseSensitive);
     centrePanel.add(searchDescription);
+    centrePanel.add(searchFeatures);
     centrePanel.add(ignoreHidden);
 
     /*