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