public JCheckBox getWholeWordCheckBox() {
if (wholeWordCheckBox == null) {
wholeWordCheckBox = new JCheckBox();
wholeWordCheckBox.setText("Whole Words Only");
wholeWordCheckBox.setMnemonic('W');
wholeWordCheckBox.addActionListener(this);
}
return wholeWordCheckBox;
}
public JCheckBox getCaseSensitiveCheckBox() {
if (caseSensitiveCheckBox == null) {
caseSensitiveCheckBox = new JCheckBox();
caseSensitiveCheckBox.setText("Case Sensitive");
caseSensitiveCheckBox.setMnemonic('v');
caseSensitiveCheckBox.setDisplayedMnemonicIndex(12);
caseSensitiveCheckBox.addActionListener(this);
}
return caseSensitiveCheckBox;
}
