!Globals.prefs.getBoolean("grayOutNonHits"));
grayOut = new JRadioButtonMenuItem(Globals.lang("Gray out non-hits"),
Globals.prefs.getBoolean("grayOutNonHits"));
nonHits.add(hideNonHits);
nonHits.add(grayOut);
floatCb.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent event) {
Globals.prefs.putBoolean("groupFloatSelections", floatCb.isSelected());
}
});
andCb.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent event) {
Globals.prefs.putBoolean("groupIntersectSelections", andCb
.isSelected());
}
});
invCb.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent event) {
Globals.prefs.putBoolean("groupInvertSelections", invCb.isSelected());
}
});
showOverlappingGroups.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent event) {
Globals.prefs.putBoolean("groupShowOverlapping",
showOverlappingGroups.isSelected());
if (!showOverlappingGroups.isSelected())
groupsTree.setHighlight2Cells(null);
}
});
select.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent event) {
Globals.prefs.putBoolean("groupSelectMatches", select.isSelected());
}
});
grayOut.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent event) {
Globals.prefs.putBoolean("grayOutNonHits", grayOut.isSelected());
}
});