menuBar.getCheckBox(option).setSelected(selected);
if (selected) {
current.addListener(el);
} else {
menuBar.getCheckBox(Messages.ALLDEBUGGING).setSelected(false);
current.removeListener(el);
}
}
}
} else if (menu.equals(Messages.TOOLS)) {
if (option.equals(Messages.LICENSES)) {