453454455456457458459460461462463
@Override public void handle(ActionEvent event) { if (((CheckBox) event.getSource()).isSelected()) { functionSet.enableFunction(index); } else { functionSet.disableFunction(index); } gui.updateFunctionSelector(); revalidateParameters(); } });