void () { revisionTxt.setEnabled(revisionOption.isSelected()); branchSelector.setEnabled(branchOption.isSelected()); tagSelector.setEnabled(tagOption.isSelected()); bookmarkSelector.setEnabled(bookmarkOption.isSelected()); }